Searching for authors named "Bas Luttik" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Strings and Languages
- …Strings and Languages Bas Luttik December 10, 2007 A string is any finite sequence of symbols from…
- Add To MetaCart
-
A unique decomposition theorem for ordered monoids with applications in process theory
- … Abstract) Bas Luttik Dept. of Theoretical Computer Science, Vrije Universiteit Amsterdam De Boelelaan 1081a…
- Cited by 5 (2 self) – Add To MetaCart
-
What is (in) a proof?
- …What is (in) a proof? Bas Luttik November 19, 2008 A proof of some precise (usually mathematical…
- Add To MetaCart
-
Stuttering congruence for χ
- …Stuttering Congruence for χ Bas Luttik 1,2 and Nikola Trčka 1 1 Department of Mathematics…
- Cited by 1 (1 self) – Add To MetaCart
-
Transformations of Reduction Systems
- … Systems Bas Luttik Piet Rodenburg Report P9615 October 1996 University of Amsterdam Department…
- Cited by 1 (0 self) – Add To MetaCart
-
An omega-complete Equational Specification of Interleaving
- …An !-complete Equational Specification of Interleaving Wan Fokkink 1 Bas Luttik 1;2 Wan…
- Cited by 7 (4 self) – Add To MetaCart
-
On the Expressiveness of the Choice Quantifier
- …On the Expressiveness of the Choice Quantifier Bas Luttik Bas.Luttik@(email omitted); CWI, P.O. Box 94079…
- Add To MetaCart
-
Finite equational bases in process algebra: Results and open questions
- … Fokkink 2,5 , Anna Ingolfsdottir 1,4 , and Bas Luttik 2,3 1 BRICS (Basic Research in Computer Science…
- Cited by 15 (13 self) – Add To MetaCart
-
CCS with Hennessy’s merge has no finite equational axiomatization
- …@(email omitted); Bas Luttik Department of Mathematics and Computer Science Eindhoven Technical University P.O. Box 513…
- Cited by 16 (14 self) – Add To MetaCart
-
Alternative Quantification vs. Input Prefixing
- …Alternative quantification vs. input prefixing Jan Friso Groote 1;2 Bas Luttik 1;3; y Jan…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
