|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
27 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Core Language for Rewriting |
Visser, Eelco |
1998 |
15 | C |
p. 422-441 20 p. |
artikel |
|
| 2 | Adventures in sequent calculus modulo equations |
Viry, Patrick |
1998 |
15 | C |
p. 21-32 12 p. |
artikel |
|
| 3 | A Logic for Modular Descriptions of Asynchronous and Synchronized Concurrent Systems |
Bruni, Roberto |
1998 |
15 | C |
p. 161-172 12 p. |
artikel |
|
| 4 | An Extensible Module Algebra For Maude |
Durán, Francisco |
1998 |
15 | C |
p. 174-195 22 p. |
artikel |
|
| 5 | An Overview of CafeOBJ |
Diaconescu, Răzvan |
1998 |
15 | C |
p. 285-298 14 p. |
artikel |
|
| 6 | An Overview of ELAN |
Borovanský, Peter |
1998 |
15 | C |
p. 55-70 16 p. |
artikel |
|
| 7 | A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol |
Steggles, L.J. |
1998 |
15 | C |
p. 83-104 22 p. |
artikel |
|
| 8 | CCS Semantics via Proved Transition Systems and Rewriting Logic |
Carabetta, Georgia |
1998 |
15 | C |
p. 369-387 19 p. |
artikel |
|
| 9 | Controlling Rewriting: study and implementation of a strategy formalism (Abstract) |
Borovanský, Peter |
1998 |
15 | C |
p. 299-310 12 p. |
artikel |
|
| 10 | Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN |
Borovanský, Peter |
1998 |
15 | C |
p. 1-20 20 p. |
artikel |
|
| 11 | From Rewrite Theories to Temporal Logic Theories |
Denker, Grit |
1998 |
15 | C |
p. 105-126 22 p. |
artikel |
|
| 12 | Handling ELAN rewrite programs via an exchange format |
Borovanský, Peter |
1998 |
15 | C |
p. 173- 1 p. |
artikel |
|
| 13 | Internal Strategies in a Rewriting Implementation of Tile Systems |
Bruni, R. |
1998 |
15 | C |
p. 263-284 22 p. |
artikel |
|
| 14 | Mapping OMRS to Rewriting Logic |
Meseguer, José |
1998 |
15 | C |
p. 33-54 22 p. |
artikel |
|
| 15 | Maude as a Metalanguage |
Clavel, M. |
1998 |
15 | C |
p. 147-160 14 p. |
artikel |
|
| 16 | Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract) |
Jouannaud, Jean-Pierre |
1998 |
15 | C |
p. 388-393 6 p. |
artikel |
|
| 17 | Metalevel Computation in Maude |
Clavel, M. |
1998 |
15 | C |
p. 331-352 22 p. |
artikel |
|
| 18 | Object-Oriented Specification of Distributed Systems (Extended Abstract) |
Lechner, Ulrike |
1998 |
15 | C |
p. 394-403 10 p. |
artikel |
|
| 19 | Preface |
Kirchner, Claude |
1998 |
15 | C |
p. 367-368 2 p. |
artikel |
|
| 20 | Reflection in General Logics, Rewriting Logic, and Maude |
Clavel, Manuel |
1998 |
15 | C |
p. 71-82 12 p. |
artikel |
|
| 21 | Rewriting Logic as a Logic of Special Relations |
Marco Schorlemmer, W. |
1998 |
15 | C |
p. 196-217 22 p. |
artikel |
|
| 22 | Scoped Metatheorems |
Basin, David |
1998 |
15 | C |
p. 353-366 14 p. |
artikel |
|
| 23 | Semantics, Modularity, and Rewriting Logic |
Mosses, Peter D. |
1998 |
15 | C |
p. 404-421 18 p. |
artikel |
|
| 24 | Term Rewriting for Sale |
van den Brand, M.G.J. |
1998 |
15 | C |
p. 218-241 24 p. |
artikel |
|
| 25 | Term Rewriting with Operator Evaluation Strategies |
Eker, Steven |
1998 |
15 | C |
p. 311-330 20 p. |
artikel |
|
| 26 | Test Set Coinduction -- Toward Automated Verification of Behavioural Properties — |
Matsumoto, Michihiro |
1998 |
15 | C |
p. 242-262 21 p. |
artikel |
|
| 27 | The OMRS Project: State of the Art |
Giunchiglia, Fausto |
1998 |
15 | C |
p. 127-146 20 p. |
artikel |
27 gevonden resultaten