Congruence types

G. Barthe; J.H. Geuvers

doi:10.1007/3-540-61377-3_30

Congruence types

G. Barthe, J.H. Geuvers

Mathematics and Computer Science

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

8 Citations (Scopus)

Original language	English
Title of host publication	Computer Science Logic (9th International Workshop, CSL'95, Paderborn, Germany, September 22-29, 1995, Selected Papers)
Editors	H. Klein Büning
Place of Publication	Berlin
Publisher	Springer
Pages	36-51
ISBN (Print)	3-540-61377-3
DOIs	https://doi.org/10.1007/3-540-61377-3_30
Publication status	Published - 1996

Publication series

Name	Lecture Notes in Computer Science
Volume	1092
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-61377-3_30

Cite this

@inproceedings{5bf8de9975af4b58aba63ad940c02630,

title = "Congruence types",

author = "G. Barthe and J.H. Geuvers",

year = "1996",

doi = "10.1007/3-540-61377-3_30",

language = "English",

isbn = "3-540-61377-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "36--51",

editor = "{Klein B{\"u}ning}, H.",

booktitle = "Computer Science Logic (9th International Workshop, CSL'95, Paderborn, Germany, September 22-29, 1995, Selected Papers)",

}

Congruence types. / Barthe, G.; Geuvers, J.H.
Computer Science Logic (9th International Workshop, CSL'95, Paderborn, Germany, September 22-29, 1995, Selected Papers). ed. / H. Klein Büning. Berlin: Springer, 1996. p. 36-51 (Lecture Notes in Computer Science; Vol. 1092).

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

TY - GEN

T1 - Congruence types

AU - Barthe, G.

AU - Geuvers, J.H.

PY - 1996

Y1 - 1996

U2 - 10.1007/3-540-61377-3_30

DO - 10.1007/3-540-61377-3_30

M3 - Conference contribution

SN - 3-540-61377-3

T3 - Lecture Notes in Computer Science

SP - 36

EP - 51

BT - Computer Science Logic (9th International Workshop, CSL'95, Paderborn, Germany, September 22-29, 1995, Selected Papers)

A2 - Klein Büning, H.

PB - Springer

CY - Berlin

ER -