Article 21 (36 pages) - Proposition Algebra (English)
- New search for: Bergstra, J A
- New search for: Bergstra, J A
- New search for: Ponse, A
In:
ACM transactions on computational logic
;
12
, 3
;
2011
-
ISSN:
- Article (Journal) / Print
-
Title:Article 21 (36 pages) - Proposition Algebra
-
Contributors:Bergstra, J A ( author ) / Ponse, A
-
Published in:
-
Publisher:
- New search for: ACM
-
Place of publication:New York, NY
-
Publication date:2011
-
ISSN:
-
ZDBID:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.10 Theoretische Informatik -
Source:
Table of contents – Volume 12, Issue 3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
-
Article 19 (21 pages) - Alternating Automata on Data Trees and XPath SatisfiabilityJurdzinski, M et al. | 2011
-
A Calculus of Multiary Sequent TermsSanto, J.E. / Pinto, L. et al. | 2011
-
Article 22 (41 pages) - A Calculus of Multiary Sequent TermsEspírito Santo, J et al. | 2011
-
Article 18 (40 pages) - Modal Abstractions of Concurrent BehaviorNielson, F et al. | 2011
-
Article 20 (39 pages) - Embedding Nonground Logic Programs into Autoepistemic Logic for Knowledge-Base CombinationDe Bruijn, J et al. | 2011
-
Modal Abstractions of Concurrent BehaviorNielson, F. / Nanz, S. / Nielson, H.R. et al. | 2011
-
Embedding Nonground Logic Programs into Autoepistemic Logic for Knowledge-Base CombinationDe Bruijn, J. / Eiter, T. / Polleres, A. / Tompits, H. et al. | 2011
-
Proposition AlgebraBergstra, J.A. / Ponse, A. et al. | 2011
-
Article 21 (36 pages) - Proposition AlgebraBergstra, J A et al. | 2011
-
Alternating Automata on Data Trees and XPath SatisfiabilityJurdzinski, M. / Lazic, R. et al. | 2011