Orthogonal higher-order rewrite systems are confluent

Tobias Nipkow

doi:10.1007/bfb0037114

Orthogonal higher-order rewrite systems are confluent

Tobias Nipkow

Default

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

28 Scopus citations

Original language	English
Title of host publication	Typed Lambda Calculi and Applications - International Conference on Typed Lamda Calculi and Applications, TLCA 1993, Proceedings
Editors	Marc Bezem, Jan Friso Groote
Publisher	Springer Verlag
Pages	306-317
Number of pages	12
ISBN (Print)	9783540565178
DOIs	https://doi.org/10.1007/bfb0037114
State	Published - 1993
Event	1st International Conference on Typed Lamda Calculi and Applications, TLCA 1993 - Utrecht, Netherlands Duration: 16 Mar 1993 → 18 Mar 1993

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	664 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Conference on Typed Lamda Calculi and Applications, TLCA 1993
Country/Territory	Netherlands
City	Utrecht
Period	16/03/93 → 18/03/93

Access to Document

10.1007/bfb0037114

Cite this

Nipkow, T. (1993). Orthogonal higher-order rewrite systems are confluent. In M. Bezem, & J. F. Groote (Eds.), Typed Lambda Calculi and Applications - International Conference on Typed Lamda Calculi and Applications, TLCA 1993, Proceedings (pp. 306-317). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 664 LNCS). Springer Verlag. https://doi.org/10.1007/bfb0037114

Nipkow, Tobias. / Orthogonal higher-order rewrite systems are confluent. Typed Lambda Calculi and Applications - International Conference on Typed Lamda Calculi and Applications, TLCA 1993, Proceedings. editor / Marc Bezem ; Jan Friso Groote. Springer Verlag, 1993. pp. 306-317 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{11f92ef52d1f4307a275188084d9a177,

title = "Orthogonal higher-order rewrite systems are confluent",

author = "Tobias Nipkow",

year = "1993",

doi = "10.1007/bfb0037114",

language = "English",

isbn = "9783540565178",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "306--317",

editor = "Marc Bezem and Groote, {Jan Friso}",

booktitle = "Typed Lambda Calculi and Applications - International Conference on Typed Lamda Calculi and Applications, TLCA 1993, Proceedings",

note = "1st International Conference on Typed Lamda Calculi and Applications, TLCA 1993 ; Conference date: 16-03-1993 Through 18-03-1993",

}

Nipkow, T 1993, Orthogonal higher-order rewrite systems are confluent. in M Bezem & JF Groote (eds), Typed Lambda Calculi and Applications - International Conference on Typed Lamda Calculi and Applications, TLCA 1993, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 664 LNCS, Springer Verlag, pp. 306-317, 1st International Conference on Typed Lamda Calculi and Applications, TLCA 1993, Utrecht, Netherlands, 16/03/93. https://doi.org/10.1007/bfb0037114

Orthogonal higher-order rewrite systems are confluent. / Nipkow, Tobias.
Typed Lambda Calculi and Applications - International Conference on Typed Lamda Calculi and Applications, TLCA 1993, Proceedings. ed. / Marc Bezem; Jan Friso Groote. Springer Verlag, 1993. p. 306-317 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 664 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Orthogonal higher-order rewrite systems are confluent

AU - Nipkow, Tobias

PY - 1993

Y1 - 1993

UR - http://www.scopus.com/inward/record.url?scp=84958746627&partnerID=8YFLogxK

U2 - 10.1007/bfb0037114

DO - 10.1007/bfb0037114

M3 - Conference contribution

AN - SCOPUS:84958746627

SN - 9783540565178

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 306

EP - 317

BT - Typed Lambda Calculi and Applications - International Conference on Typed Lamda Calculi and Applications, TLCA 1993, Proceedings

A2 - Bezem, Marc

A2 - Groote, Jan Friso

PB - Springer Verlag

T2 - 1st International Conference on Typed Lamda Calculi and Applications, TLCA 1993

Y2 - 16 March 1993 through 18 March 1993

ER -

Nipkow T. Orthogonal higher-order rewrite systems are confluent. In Bezem M, Groote JF, editors, Typed Lambda Calculi and Applications - International Conference on Typed Lamda Calculi and Applications, TLCA 1993, Proceedings. Springer Verlag. 1993. p. 306-317. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0037114

Orthogonal higher-order rewrite systems are confluent

Publication series

Conference

Access to Document

Other files and links

Cite this