Ajesh Babu
Paritosh K. Pandya
2012
Chop Expressions and Discrete Duration Calculus
Modern Applications of Automata Theory
229–256
10.1142/9789814271059_0008
Stanley Burris
H. P. Sankappanavar
1981
A Course in Universal Algebra
Graduate Texts in Mathematics
78
Springer
10.1007/978-1-4613-8130-3_7
Wojciech Buszkowski
2007
On Action Logic: Equational Theories of Action Algebras
J. Log. Comput.
17
1
199–217
10.1093/logcom/exl036
John Horton Conway
1971
Regular algebra and finite machines
Chapman & Hall mathematics series
Chapman and Hall
London
Nikolaos Galatos
Peter Jipsen
Tomasz Kowalski
Hiroakira Ono
2007
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
Antony Galton
1984
The Logic of Aspect : An axiomatic approach
Clarendon Press
Oxford
Jean-Yves Girard
1987
Linear Logic
Theoretical Computer Science
50
1–102
10.1016/0304-3975(87)90045-4
Dag Hovland
2012
The inclusion problem for regular expressions
J. Comput. Syst. Sci.
78
6
1795–1813
10.1016/j.jcss.2011.12.003
Dexter Kozen
1990
On Kleene Algebras and Closed Semirings
Branislav Rovan
MFCS
Lecture Notes in Computer Science
452
Springer
26–47
10.1007/BFb0029594
Dexter Kozen
1991
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
LICS
IEEE Computer Society
214–225
10.1109/LICS.1991.151646
Dexter Kozen
Jerzy Tiuryn
2003
Substructural logic and partial correctness
ACM Trans. Comput. Log.
4
3
355–378
10.1145/772062.772066
Mark Moens
Mark Steedman
1988
Temporal ontology and temporal reference
Computational Linguistics
14
15–28
Vaughan R. Pratt
1990
Action Logic and Pure Induction
Jan van Eijck
JELIA
Lecture Notes in Computer Science
478
Springer
97–120
10.1007/BFb0018436
Greg Restall
2008
An introduction to substructural logics
Routledge
New York [u.a.]