Towards Antichain Algebra

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-24704-5_21
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A 2-Element Antichain That Is Not Contained in Any Finite Retract

Algebra Universalis
Number TheoryLogicAlgebra
2012English

Automaton Meets Query Algebra: Towards a Unified Model for XQuery Evaluation Over XML Data Streams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Eye Movement Pre-Algebra and Visual Semantic Algebra

International Journal of Cognitive Informatics and Natural Intelligence
Human-Computer InteractionArtificial IntelligenceSoftware
2019English

Linear Algebra

2015English

Linear Algebra

2019English

The Principal Semi-Algebra in a Banach Algebra

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1965English

Computer Algebra

Nature
Multidisciplinary
1981English

Euler Algebra

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1923English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy