79 treff

omskrivning
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
Automated deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1997 · Vis mer
Vis flere utgaver
Vis flere utgaver
A meta-level framework for recording and utilizing communication histories in Maude
Eyvind Wærsted Axelsen
Bok Engelsk 2004 · Vis mer
Term rewriting systems : Terese
[editors: Marc Bezem, Jan Willem Klop, Ro...
Bok Engelsk 2003 · Vis mer
Handbook of Automated Reasoning. 1.

Bok Engelsk 2001 · Vis mer
Handbook of Automated Reasoning. 2.

Bok Engelsk 2001 · Vis mer
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1998 · Vis mer
Principles of declarative programming : 10th international symposium, PLILP'98 : held jointly with the 6th international conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings
PLILP '98
Bok Engelsk 1998 · Vis mer
Solving higher-order equations : from logic to programming
Christian Prehofer
Bok Engelsk 1998 · Vis mer
Computing and combinatorics : third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings
COCOON '97
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
Computer science logic : 10th international workshop, CSL'96 : annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1997 · Vis mer
Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1996 · Vis mer
Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1995 · Vis mer
Rewritable reference attributed grammars : design, implementation, and applications
Torbjörn Ekman
Bok Engelsk 2004 · Vis mer
Automata, languages and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
International Colloquium on Automata, Languages and Programming
Bok Engelsk 1997 · Vis mer
Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1997 · Vis mer
Theoretical aspects of computer software : third international symposium, TACS'97, Sendai, Japan, September 23-26, 1997 : proceedings
International Conference TACS
Bok Engelsk 1997 · Vis mer
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
International Joint Conference CAAP/FASE
Bok Engelsk 1997 · Vis mer
Logical foundations of computer science : 4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
LFCS '97
Bok Engelsk 1997 · Vis mer
Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings
V. Chandru, V. Vinay (eds.)
Bok Engelsk 1996 · Vis mer
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
HOA '95
Bok Engelsk 1996 · 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
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [i.e. Romeu], France, May 17-21, 1993 : advanced course
French Spring School of Theoretical Computer Science
Bok Engelsk 1995 · Vis mer
Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings
International CTRS Workshop
Bok Engelsk 1995 · Vis mer
Functional programming and parallel graph rewriting
Rinus Plasmeijer, Marko van Eekelen
Bok Engelsk 1993 · Vis mer
Proceedings
IEEE Symposium on Logic in Computer Science
Bok Engelsk 1994 · Vis mer
Vis flere utgaver
Vis flere utgaver
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
H. Kirchner, G. Levi (eds.)
Bok Engelsk 1992 · Vis mer