9 results
Equational axioms associated with finite automata for fixed point operations in cartesian categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 1 / January 2017
- Published online by Cambridge University Press:
- 08 April 2015, pp. 54-69
-
- Article
- Export citation
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 725-737
-
- Article
- Export citation
Algebraic and graph-theoretic properties of infinite n-posets
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 305-322
- Print publication:
- January 2005
-
- Article
- Export citation
Foreword
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 38 / Issue 4 / October 2004
- Published online by Cambridge University Press:
- 15 October 2004, pp. 275-276
- Print publication:
- October 2004
-
- Article
- Export citation
Axiomatizing omega and omega-op powers of words
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 38 / Issue 1 / January 2004
- Published online by Cambridge University Press:
- 15 March 2004, pp. 3-17
- Print publication:
- January 2004
-
- Article
- Export citation
Preface
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 37 / Issue 4 / October 2003
- Published online by Cambridge University Press:
- 15 January 2004, p. I
- Print publication:
- October 2003
-
- Article
- Export citation
Regular languages definable by Lindström quantifiers
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 37 / Issue 3 / July 2003
- Published online by Cambridge University Press:
- 15 November 2003, pp. 179-241
- Print publication:
- July 2003
-
- Article
- Export citation
A Fully Equational Proof of Parikh's Theorem
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 36 / Issue 2 / April 2002
- Published online by Cambridge University Press:
- 15 December 2002, pp. 129-153
- Print publication:
- April 2002
-
- Article
- Export citation
Varieties generated by languages with poset operations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 6 / December 1997
- Published online by Cambridge University Press:
- 01 December 1997, pp. 701-713
-
- Article
- Export citation