Conniver programs by logical point of view

Giuseppina Gini; Maria Gini

doi:10.1007/3-540-07389-2_202

Conniver programs by logical point of view

Giuseppina Gini, Maria Gini

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

Original language	English (US)
Title of host publication	Mathematical Foundations of Computer Science 1975 - 4th Symposium
Editors	Jiri Becvar
Publisher	Springer Verlag
Pages	238-245
Number of pages	8
ISBN (Print)	9783540073895
DOIs	https://doi.org/10.1007/3-540-07389-2_202
State	Published - 1975
Externally published	Yes
Event	4th Symposium on Mathematical Foundations of Computer Science, MFCS 1975 - Marianske Lazne, Czech Republic Duration: Sep 1 1975 → Sep 5 1975

Publication series

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

Other

Other	4th Symposium on Mathematical Foundations of Computer Science, MFCS 1975
Country/Territory	Czech Republic
City	Marianske Lazne
Period	9/1/75 → 9/5/75

Publisher link

10.1007/3-540-07389-2_202

Find It

Find It at U of M Libraries

Cite this

Gini, G., & Gini, M. (1975). Conniver programs by logical point of view. In J. Becvar (Ed.), Mathematical Foundations of Computer Science 1975 - 4th Symposium (pp. 238-245). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 32 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-07389-2_202

Conniver programs by logical point of view. / Gini, Giuseppina; Gini, Maria.
Mathematical Foundations of Computer Science 1975 - 4th Symposium. ed. / Jiri Becvar. Springer Verlag, 1975. p. 238-245 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 32 LNCS).

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

Gini, G & Gini, M 1975, Conniver programs by logical point of view. in J Becvar (ed.), Mathematical Foundations of Computer Science 1975 - 4th Symposium. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 32 LNCS, Springer Verlag, pp. 238-245, 4th Symposium on Mathematical Foundations of Computer Science, MFCS 1975, Marianske Lazne, Czech Republic, 9/1/75. https://doi.org/10.1007/3-540-07389-2_202

@inproceedings{561b130077e44c6eacf70465339cf7c3,

title = "Conniver programs by logical point of view",

author = "Giuseppina Gini and Maria Gini",

year = "1975",

doi = "10.1007/3-540-07389-2_202",

language = "English (US)",

isbn = "9783540073895",

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

publisher = "Springer Verlag",

pages = "238--245",

editor = "Jiri Becvar",

booktitle = "Mathematical Foundations of Computer Science 1975 - 4th Symposium",

note = "4th Symposium on Mathematical Foundations of Computer Science, MFCS 1975 ; Conference date: 01-09-1975 Through 05-09-1975",

}

TY - GEN

T1 - Conniver programs by logical point of view

AU - Gini, Giuseppina

AU - Gini, Maria

PY - 1975

Y1 - 1975

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

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

U2 - 10.1007/3-540-07389-2_202

DO - 10.1007/3-540-07389-2_202

M3 - Conference contribution

AN - SCOPUS:85035025698

SN - 9783540073895

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

SP - 238

EP - 245

BT - Mathematical Foundations of Computer Science 1975 - 4th Symposium

A2 - Becvar, Jiri

PB - Springer Verlag

T2 - 4th Symposium on Mathematical Foundations of Computer Science, MFCS 1975

Y2 - 1 September 1975 through 5 September 1975

ER -

Conniver programs by logical point of view

Publication series

Other

Publisher link

Find It

Other files and links

Cite this