Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Ganzinger, Harald
Jacquemard, Florent
and
Veanes, Margus
1998.
Advances in Computing Science ASIAN 98.
Vol. 1538,
Issue. ,
p.
4.
Oliart, Alberto
and
Snyder, Wayne
1998.
Automated Deduction — CADE-15.
Vol. 1421,
Issue. ,
p.
239.
Lugiez, D.
and
Schnoebelen, Ph.
1998.
CONCUR'98 Concurrency Theory.
Vol. 1466,
Issue. ,
p.
50.
González-Moreno, J. C.
Hortalá-González, M. T.
and
Rodríguez-Artalejo, M.
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
1.
Kusakari, Keiichirou
Nakamura, Masaki
and
Toyama, Yoshihito
1999.
Principles and Practice of Declarative Programming.
Vol. 1702,
Issue. ,
p.
47.
Stuber, Jürgen
1999.
Rewriting Techniques and Applications.
Vol. 1631,
Issue. ,
p.
148.
Nagaya, Takashi
and
Toyama, Yoshihito
1999.
Rewriting Techniques and Applications.
Vol. 1631,
Issue. ,
p.
256.
Habel, Annegret
and
Plump, Detlef
1999.
Recent Trends in Algebraic Development Techniques.
Vol. 1589,
Issue. ,
p.
152.
Hermann, Miki
Juban, Laurent
and
Kolaitis, Phokion G.
1999.
Logic for Programming and Automated Reasoning.
Vol. 1705,
Issue. ,
p.
13.
van Oostrom, Vincent
1999.
Rewriting Techniques and Applications.
Vol. 1631,
Issue. ,
p.
60.
Ohlebusch, Enno
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
179.
Kondo, H.
and
Kurihara, M.
1999.
Design and heuristics for BDD-based automated termination verification system for rule-based programs.
Vol. 5,
Issue. ,
p.
738.
Alpuente, María
Falaschi, Moreno
Moreno, Ginés
and
Vidal, Germán
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
147.
Ohlebusch, Enno
1999.
Logic for Programming and Automated Reasoning.
Vol. 1705,
Issue. ,
p.
111.
Alpuente, M.
Escobar, S.
and
Lucas, S.
1999.
SOFSEM’99: Theory and Practice of Informatics.
Vol. 1725,
Issue. ,
p.
331.
Hanus, Michael
and
Lucas, Salvador
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
353.
Arts, Thomas
and
Giesl, Jürgen
1999.
Computer Science Logic.
Vol. 1683,
Issue. ,
p.
96.
Arvind
and
Shen, X.
1999.
Using term rewriting systems to design and verify processors.
IEEE Micro,
Vol. 19,
Issue. 3,
p.
36.
Giesl, Jürgen
and
Middeldorp, Aart
1999.
Rewriting Techniques and Applications.
Vol. 1631,
Issue. ,
p.
271.
Wirsing, Martin
Crossley, John N.
and
Peterreins, Hannes
1999.
Recent Trends in Algebraic Development Techniques.
Vol. 1589,
Issue. ,
p.
326.