17 treff

omskrivning notrbib real004176
En abstrakt maskin for Creol i Maude
Marte Arnestad
Bok Bokmål 2003 · Vis mer
Parsing techniques : a practical guide
by Dick Grune, Ceriel J. H. Jacobs
Bok Engelsk 2008 · Vis mer
A rewriting-logic-based approach for the formal modeling and analysis of interacting hybrid systems
by Muhammad Fadlisyah
Bok Engelsk 2014 · Vis mer
Specification and analysis of real-time and hybrid systems in rewriting logic
Peter Csaba Ölveczky
Bok Engelsk 2000 · Vis mer
Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
A reflective theorem prover for the connection calculus
Bjarne Holen
Bok Engelsk 2005 · Vis mer
Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2002 · Vis mer
Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2001 · Vis mer
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2000 · Vis mer
Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1999 · Vis mer
Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1999 · Vis mer
Handbook of formal languages. Vol. 3. Beyond words

Bok Engelsk 1997 · Vis mer
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1997 · Vis mer
Algebraic and logic programming : 5th international conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1996 · Vis mer
Functional programming and parallel graph rewriting
Rinus Plasmeijer, Marko van Eekelen
Bok Engelsk 1993 · Vis mer
Proceedings
Eighth Annual IEEE Symposium on Logic in ...
Bok Engelsk 1993 · Vis mer
Vis flere utgaver
Vis flere utgaver