HP 35s Scientific Calculator Get professional performance from the ultimate RPN scientific programmable calculator. Switch between RPN* and algebraic entry-system logic at any time. The HP 35s features

Source URL: hpcc.org

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, An Algebraic Approach to Dynamic Epistemic Logic Prakash Panangaden1 , Caitlin Phillips1 , Doina Precup1 , and Mehrnoosh Sadr

Source URL: ceur-ws.org

Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005

Source URL: www.doc.ic.ac.uk

Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk

Source URL: www.cs.man.ac.uk

• Mathematics
• Logic
• Mathematical logic
• Algebraic structures
• Model theory
• Z notation
• Topology
• S
• Set theory
• Lattice
• Ring
• Axiom

CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel

Source URL: www.fields.utoronto.ca

• Logic
• Constraint programming
• Constraint satisfaction problem
• Model theory
• Abstraction
• Philosophy
• Constraint satisfaction
• Satisfiability
• Algebraic structure

CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n,

Source URL: www2.math.kyushu-u.ac.jp

• Algebra
• Abstract algebra
• Group theory
• Algebraic number theory
• Galois theory
• Frobenius group
• Galois module
• Order
• Free group
• Linear temporal logic

arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California

Source URL: arxiv.org

• Category theory
• Algebra
• Mathematics
• Monoidal categories
• Lambda calculus
• Functors
• Algebraic topology
• Cartesian closed category
• Topological quantum field theory
• Morphism
• Natural transformation
• Coproduct

Decision Problems for Linear Recurrence Sequences? Jo¨el Ouaknine Department of Computer Science, Oxford University, UK

Source URL: fct2013.csc.liv.ac.uk

• Mathematics
• Theoretical computer science
• Mathematical logic
• Fibonacci number
• LRS
• Algebraic geometry
• Thoralf Skolem
• Quantum computing

APPEARED IN BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 32, Number 2, April 1995, PagesFAMILIES OF CURVES AND WEIGHT DISTRIBUTIONS OF CODES

Source URL: www.mat.uniroma2.it

• Mathematics
• Abstract algebra
• Algebra
• Finite fields
• Group theory
• Elliptic curves
• Number theory
• Analytic number theory
• Supersingular elliptic curve
• Combinatory logic
• Algebraic curve
• BCH code

CS61c: Representations of Combinational Logic Circuits J. Wawrzynek October 12, 2007 1

Source URL: www-inst.eecs.berkeley.edu

• Logic gates
• Mathematics
• Mathematical logic
• Algebra
• Boolean algebra
• Logic in computer science
• Algebraic logic
• Circuit complexity
• Canonical normal form
• Combinational logic
• XOR gate
• Digital electronics