| Publication | Date of Publication | Type |
|---|
On Shostak's decision procedure for combinations of theories
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
A search-based procedure for nonlinear real arithmetic
Formal Methods in System Design | 2017-03-28 | Paper |
Two Decades of Maude
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Analyzing Pathways Using SAT-Based Approaches
Algebraic Biology | 2007-11-29 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
Lecture Notes in Computer Science | 2007-08-08 | Paper |
| scientific article; zbMATH DE number 2043516 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 2043522 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 1962743 (Why is no real title available?) | 2003-08-11 | Paper |
| scientific article; zbMATH DE number 1962758 (Why is no real title available?) | 2003-08-11 | Paper |
| scientific article; zbMATH DE number 1950558 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1950573 (Why is no real title available?) | 2003-07-17 | Paper |
Maximizing sharing of protected information
Journal of Computer and System Sciences | 2002-09-12 | Paper |
Maude: specification and programming in rewriting logic
Theoretical Computer Science | 2002-08-13 | Paper |
| Towards Maude 2. 0 | 2001-05-07 | Paper |
Optimization complexity of linear logic proof games
Theoretical Computer Science | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1231654 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231667 (Why is no real title available?) | 1999-01-07 | Paper |
Probabilistic polynomial-time equivalence and security analysis
Lecture Notes in Computer Science | 1999-01-01 | Paper |
| scientific article; zbMATH DE number 1231537 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1231522 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 1163987 (Why is no real title available?) | 1998-11-01 | Paper |
Linear Logic Proof Games and Optimization
The Bulletin of Symbolic Logic | 1997-05-25 | Paper |
Linear Logic Proof Games and Optimization
The Bulletin of Symbolic Logic | 1997-05-25 | Paper |
| scientific article; zbMATH DE number 786491 (Why is no real title available?) | 1996-01-21 | Paper |
Constant-only multiplicative linear logic is NP-complete
Theoretical Computer Science | 1995-11-28 | Paper |
| scientific article; zbMATH DE number 786489 (Why is no real title available?) | 1995-10-31 | Paper |
First-order linear logic without modalities is NEXPTIME-hard
Theoretical Computer Science | 1995-01-11 | Paper |
Linearizing intuitionistic implication
Annals of Pure and Applied Logic | 1993-05-16 | Paper |
Decision problems for propositional linear logic
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
Adventures in associative-commutative unification
Journal of Symbolic Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4074540 (Why is no real title available?) | 1988-01-01 | Paper |
