Found 11 Documents (Results 1–11)
Refinement calculus: A basis for translation validation, debugging and certification. (English) Zbl 1088.68037
MSC:
68N20
Generating all permutations by context-free grammars in Chomsky normal form. (English) Zbl 1088.68076
MSC:
68Q42
Closure properties of linear context-free tree languages with an application to optimality theory. (English) Zbl 1088.68081
CSP-CASL – a new integration of process algebra and algebraic specification. (English) Zbl 1088.68132
Uniqueness logic. (English) Zbl 1088.68035
Easiness in graph models. (English) Zbl 1088.68034
Filter Results by …
Document Type
- Journal Articles (10)
- Books (1)
all
top 5
Author
- Mönnich, Uwe (2)
- Asveld, Peter R. J. (1)
- Berline, Chantal (1)
- Gramatovici, Radu (1)
- Gust, Helmar (1)
- Harrington, Dana (1)
- Kepser, Stephan (1)
- Kracht, Marcus (1)
- Kühnberger, Kai-Uwe (1)
- Kundaji, Rohit N. (1)
- Martín-Vide, Carlos (1)
- Nijholt, Anton (1)
- Penn, Gerald (1)
- Roggenbach, Markus (1)
- Salibra, Antonino (1)
- Schmid, Ute (1)
- Scollo, Giuseppe (1)
- Shyamasundar, Rudrapatna Kallikote (1)