Algebra, Logic and Combinatorics

The Boolean Algebra Logic: The Soundness and Completeness Theorem

2017 13th International Conference on Semantics, Knowledge and Grids (SKG) ◽

10.1109/skg.2017.00011 ◽

2017 ◽

Author(s):

Chen Bo ◽

Zhang Xingyou ◽

Zhang Pengfei ◽

Cao Cong ◽

Liu Wenxue ◽

...

Keyword(s):

Boolean Algebra ◽

Completeness Theorem ◽

Algebra Logic ◽

Soundness And Completeness

Get full-text (via PubEx)

Higher-Order Algebra, Logic, and Term Rewriting

10.1007/3-540-58233-9 ◽

1994 ◽

Cited By ~ 2

Keyword(s):

Term Rewriting ◽

Higher Order ◽

Algebra Logic

Get full-text (via PubEx)

Algebra, Logic, Locality, Concurrency

Certified Programs and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25379-9_2 ◽

2011 ◽

pp. 3-4

Author(s):

Peter W. O’Hearn

Keyword(s):

Algebra Logic

Get full-text (via PubEx)

Boolean Algebra, Logic and Quantifiers

Concise Computer Mathematics - SpringerBriefs in Computer Science ◽

10.1007/978-3-319-01751-8_4 ◽

2013 ◽

pp. 27-33

Author(s):

Ovidiu Bagdasar

Keyword(s):

Boolean Algebra ◽

Algebra Logic

Get full-text (via PubEx)

Automata on semilattices as an algebra-logic model of dynamic discrete event systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)69374-1 ◽

1991 ◽

Vol 24 (14) ◽

pp. 300-303

Author(s):

G.P. Agibalov

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Logic Model ◽

Algebra Logic ◽

Event Systems

Get full-text (via PubEx)

Comprehensive mathematics for computer scientists 1: Sets and numbers, Graphs and algebra, Logic and machines, Linear geometry, by G. Mazzola, G. Milmeister and J. Weissmann. Pp. 357. £20.50. 2004. ISBN 3 540 208356 (Springer-Verlag).

The Mathematical Gazette ◽

10.1017/s0025557200179446 ◽

2006 ◽

Vol 90 (517) ◽

pp. 176-177

Author(s):

S. C. Coutinho

Keyword(s):

Algebra Logic ◽

Computer Scientists ◽

And Algebra ◽

Linear Geometry

Get full-text (via PubEx)

Revision Test 19 Boolean algebra, logic circuits, matrices and determinants

Engineering Mathematics ◽

10.4324/9781315561851-100 ◽

2017 ◽

pp. 656-656

Author(s):

John Bird

Keyword(s):

Boolean Algebra ◽

Logic Circuits ◽

Algebra Logic

Get full-text (via PubEx)

Algebra, Logic, Locality, Concurrency

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25318-8_4 ◽

2011 ◽

pp. 17-18

Author(s):

Peter W. O’Hearn

Keyword(s):

Algebra Logic

Get full-text (via PubEx)

Comprehensive mathematics for computer scientists 1: sets and numbers, graphs and algebra, logic and machines, linear geometry

Choice Reviews Online ◽

10.5860/choice.42-1610 ◽

2004 ◽

Vol 42 (03) ◽

pp. 42-1610-42-1610

Keyword(s):

Algebra Logic ◽

Computer Scientists ◽

And Algebra ◽

Linear Geometry

Get full-text (via PubEx)

Chapter 1 Algebra, logic and deduction

Studies in Logic and the Foundations of Mathematics - Tools and Techniques in Modal Logic ◽

10.1016/s0049-237x(99)80003-2 ◽

1999 ◽

pp. 3-46

Keyword(s):

Algebra Logic

Get full-text (via PubEx)