Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 105 results
Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-3256 Offsite Confluent string rewriting / Matthias Jantzen.
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-665 Offsite Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 1989 : proceedings / N. Dershowitz, ed.
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSF 89-306 Offsite Regulated rewriting in formal language theory / Jürgen Dassow, Gheorghe Păun.
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 91-976 Offsite Rewriting techniques and applications : 4th international conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings / Ronald V. Book, ed.
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-453 Offsite Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 1990 proceedings / S. Kaplan, M. Okada (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-966 Offsite Canonical equational proofs / Leo Bachmair.
- Text
- Boston : Birkhäuser, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSE 92-1589 Offsite Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-636 Offsite Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1209 Offsite Higher-order algebra, logic, and term rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] eds.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1978 Offsite Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, ed.
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1006 Offsite Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud (eds).
- Text
- Berlin ; New York : Springer Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1121 Offsite Efficient graph rewriting and its implementation / Heiko Dörr.
- Text
- Berlin ; New York, N.Y. : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1831 Offsite Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz, Naomi Lindenstrauss (eds.).
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-2248 Offsite Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek ... [et al.] (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1380 Offsite Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1214 Offsite Rewriting techniques and applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings / Hubert Comon (ed.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-879 Offsite Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.).
- Text
- Berlin ; London : Springer, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-678 Offsite Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings / Tobias Nipkow (ed.).
- Text
- Berlin ; New York : Springer, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-682 Offsite CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification / Răzvan Diaconescu, Kokichi Futatsugi.
- Text
- Singapore : World Scientific, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSD 00-3 Offsite Symbolic rewriting technique / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors.
- Text
- Basel ; Boston : Birkhäuser Verlag, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-1379 Offsite Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings / Paliath Narendran, Michael Rusinowitch (eds.).
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1743 Offsite Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / Leo Bachmair (ed.).
- Text
- Berlin ; New York : Springer, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-1638 Offsite Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings / Manfred Nagl, Andreas Schürr, Manfred Münch (eds.).
- Text
- Berlin ; New York : Springer, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-1665 Offsite Analytical learning and term-rewriting systems [microform] / Philip Laird, Evan Gamble.
- Text
- [Moffett Field, CA] : NASA, Ames Research Center, Artificial Intelligence Research Branch ; [Springfield, Va. : National Technical Information Service, distributor, 1990]
- 1990
Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.)
- Text
- Berlin : London : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1450 Offsite Advanced topics in term rewriting / Enno Ohlebusch.
- Text
- New York : Springer, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSE 02-896 Offsite Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Sophie Tison (ed.).
- Text
- Berlin ; New York : Springer, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSE 02-1836 Offsite Substitutions in dynamics, arithmetics, and combinatorics / N. Pytheas Fogg ; editors, V. Berthé ... [et al.].
- Text
- Berlin ; New York : Springer, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSE 03-207 Offsite Implementation of term rewriting-based programming languages / Nadia Nedjah and Luiza de Macedo Mourelle.
- Text
- New York : Nova Science Publishers, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSF 03-475 Offsite Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings / Robert Nieuwenhuis (ed.).
- Text
- Berlin ; New York : Springer, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSE 03-1450 Offsite Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 ; proceedings / Vincent van Oostrom (ed.).
- Text
- Berlin : Springer, 2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3091Item details Format Call Number Item Location Text JSE 04-1330 Offsite Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 ; revised selected and invited papers / John L. Pfaltz, Manfred Nagl, Boris Böhlen (eds.).
- Text
- Berlin : Springer, 2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3062Item details Format Call Number Item Location Text JSE 04-1353 Offsite Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter.
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 88-1387 Offsite Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 1990 proceedings / S. Kaplan, M. Okada (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA267 .C5932 1991 Off-site Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.).
- Text
- Berlin ; New York : Springer-Verlag, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA267 .I578 1992 Off-site String-rewriting systems / Ronald V. Book, Friedrich Otto.
- Text
- New York : Springer-Verlag, [1993]
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA267 .B66 1993 Off-site Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1989 : proceedings / Claude Kirchner, ed.
- Text
- Berlin ; New York : Springer-Verlag, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA267 .I555 1993g Off-site Term graph rewriting : theory and practice / edited by M.R. Sleep and M.J. Plasmeijer and M.C. van Eekelen.
- Text
- Chichester ; New York : Wiley, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .T47 1993 Off-site Higher order algebra, logic, and term rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 1993 : selected papers / Jan Heering [and others] eds.
- Text
- Berlin ; New York : Springer-Verlag, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA267 .I5785 1993 Off-site Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, ed.
- Text
- Berlin ; New York : Springer-Verlag, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA267 .I555 1995 Off-site Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Common, Jean-Pierre Jouannaud, eds.
- Text
- Berlin ; New York : Springer Verlag, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .F74 1993 Off-site Efficient graph rewriting and its implementation / Heiko Dörr.
- Text
- New York : Springer-Verlag, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA267 .D67 1995 Off-site Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz, Naomi Lindenstrauss (eds.).
- Text
- Berlin ; New York : Springer, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA267 .I5783 1994 Off-site Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek [and others] (eds.).
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA267 .H484 1996 Off-site Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 1996 : proceedings / Harald Ganzinger (ed.).
- Text
- New York : Springer, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA267 .I555 1996 Off-site Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 1997 : proceedings / Hubert Comon (ed.).
- Text
- Berlin ; New York : Springer, [1997], ©1997.
- 1997-1997
- 1 Item
Item details Format Call Number Item Location Text QA267 .I555 1997 Off-site Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings / Tobias Nipkow (ed.).
- Text
- Berlin ; New York : Springer, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA267 .I555 1998 Off-site Symbolic rewriting techniques / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors.
- Text
- Basel ; Boston : Birkhäuser Verlag, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA267 .S88 1998 Off-site Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999, proceedings / Paliath Narendran, Michael Rusinowitch (eds.).
- Text
- New York : Springer, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA267 .R477 1999 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
