Thomas Drescher

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1992

1 Peter Bachmann, Thomas Drescher, Sabine Nieke: SPECI90: A Term Rewriting and Narrowing System. STACS 1992: 619-620

	1992
1		Peter Bachmann, Thomas Drescher, Sabine Nieke: SPECI90: A Term Rewriting and Narrowing System. STACS 1992: 619-620

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page