79 treff

omskrivning
Omskrivningsteknikker i system for automatisk bevisføring Vedlegg D : programlisting
Gyene, Laszlo Reithaug
Bok Bokmål 1990 · Vis mer
Termomskrivningsmaskin i ABEL : anvendt omskrivingsteori og AC-omskriving
Steinar Midtskogen
Bok Bokmål 1999 · Vis mer
Termomskrivningsmaskin for ABEL
Astrid Ringdal
Bok Bokmål 1995 · Vis mer
Terminering av typeordnet omskrivning
Ölveczky, Peter Csaba
Bok Bokmål 1994 · Vis mer
Om bruk av generalisert termomskrivning til bevisformål
Geir Langemyr
Bok Bokmål 1994 · Vis mer
En abstrakt maskin for Creol i Maude
Marte Arnestad
Bok Bokmål 2003 · Vis mer
Logic : a foundation for computer science
V. Sperschneider & G. Antoniou
Bok Engelsk 1991 · Vis mer
String-rewriting systems
Ronald V. Book, Friedrich Otto
Bok Engelsk 1993 · Vis mer
Graph-theoretic concepts in computer science : 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991 : proceedings
International Workshop on Graph-Theoretic Concepts in Computer Science
Bok Engelsk 1992 · Vis mer
Advanced topics in term rewriting
Enno Ohlebusch
Bok Engelsk 2002 · Vis mer
Reflection in rewriting logic : metalogical foundations and metaprogramming applications
Manuel Clavel
Bok Engelsk 2000 · Vis mer
New trends in formal languages : control, cooperation, and combinatorics

Bok Engelsk 1997 · Vis mer
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers
Workshop on Specification of Abstract Data Types
Bok Engelsk 1996 · Vis mer
Regulated rewriting in formal language theory
Jürgen Dassow, Gheorghe Păun
Bok Engelsk 1989 · 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
Resolution of equations in algebraic structures. 1. Algebraic techniques

Bok Engelsk 1989 · Vis mer
Resolution of equations in algebraic structures. 2. Rewriting techniques

Bok Engelsk 1989 · Vis mer
Handbook of computational group theory
Derek F. Holt, Bettina Eick, Eamonn A. O'...
Bok Engelsk 2005 · Vis mer
Specification and analysis of real-time and hybrid systems in rewriting logic
Peter Csaba Ölveczky
Bok Engelsk 2000 · Vis mer
Term rewriting and all that
Franz Baader and Tobias Nipkow
Bok Engelsk 1998 · 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
Mathematical foundations of computer science 1997 : 22nd international symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings
International Symposium on Mathematical Foundations of Computer Science
Bok Engelsk 1997 · Vis mer
Efficient graph rewriting and its implementation
Heiko Dörr
Bok Engelsk 1995 · Vis mer
Term graph rewriting : theory and practice
edited by M. R. Sleep and M. J. Plasmeije...
Bok Engelsk 1993 · Vis mer
Modeling and analysis of time-dependent security protocols in real-time Maude
Martin Grimeland
Bok Engelsk 2006 · Vis mer
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