deutsch  english

Publikationsansicht

Higher-Order Rewriting (1999)

Abstract
This paper will appear in the proceedings of the 10th international conference on rewriting techniques and applications (RTA'99). c flSpringer Verlag.

Details der Publikation
Download http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.37.878
Quelle http://www.cs.vu.nl/~femke/ps/rta99.ps
Herausgeber Springer
Mitarbeiter CiteSeerX
Archiv CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ text
Sprache Englisch
Verknüpfungen 10.1.1.54.8958, 10.1.1.30.3384, 10.1.1.10.5621, 10.1.1.127.3069, 10.1.1.25.7386, 10.1.1.24.1622, 10.1.1.34.6887, 10.1.1.39.1573, 10.1.1.44.288, 10.1.1.45.2383, 10.1.1.36.3743, 10.1.1.29.3763, 10.1.1.26.2542, 10.1.1.101.581, 10.1.1.97.1458, 10.1.1.109.7870, 10.1.1.104.6276, 10.1.1.107.1057, 10.1.1.108.3174, 10.1.1.42.7565, 10.1.1.67.462, 10.1.1.2.6647, 10.1.1.83.51, 10.1.1.94.4066, 10.1.1.24.3513, 10.1.1.140.3060, 10.1.1.140.3078
 
Über ScientificCommons    Impressum    Kontakt    URL anmelden    Hilfe