Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tomáš Kepka
Linear Equational Theories and Semimodule Representations
International Journal of Algebra and Computation
Mathematics
Infinite Simple Zeropotent Paramedial Groupoids
Czechoslovak Mathematical Journal
Mathematics
Related publications
Equational Theories and Monads From Polynomial Cayley Representations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equational Theories and Database Constraints
Set Constraints in Some Equational Theories
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Reducing Equational Theories for the Decision of Static Equivalence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combining Equational Tree Automata Over AC and ACI Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Decision Problems for Equational Theories of Relation Algebras
Memoirs of the American Mathematical Society
Mathematics
Applied Mathematics
Reducing Equational Theories for the Decision of Static Equivalence
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Asymmetric Tensor Representations in Micropolar Continuum Mechanics Theories
Vestnik Samarskogo Gosudarstvennogo Tekhnicheskogo Universiteta, Seriya Fiziko-Matematicheskie Nauki
Mechanics of Materials
Condensed Matter Physics
Applied Mathematics
Analysis
Simulation
Mathematical Physics
Modeling
Software
