Publikationsdetails

Zitat:	Hrg. Teimuraz Kutsia, Hrg. Daniel Ventura, Hrg. David Monniaux, Hrg. Josef Morales, "Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis" , Serie EPTCS, 2024
Original Titel:	Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Sprache des Titels:	Englisch
Original Kurzfassung:	Proceedings of LSFA 2023 and HCVS 2023, EPTCS, 2024
Sprache der Kurzfassung:	Englisch
Serie:	EPTCS
Erscheinungsjahr:	2024
Reichweite:	international
Publikationstyp:	Tagungsband Herausgeberschaft (Erstauflage)
Autoren:	Hrg. Teimuraz Kutsia, Hrg. Daniel Ventura, Hrg. David Monniaux, Hrg. Josef Morales
Forschungseinheiten:	Institut für Symbolisches Rechnen

Wissenschaftsgebiete:	Mathematik (ÖSTAT:101) Algebra (ÖSTAT:101001) Computeralgebra (ÖSTAT:101005) Geometrie (ÖSTAT:101009) Kombinatorik (ÖSTAT:101012) Mathematische Logik (ÖSTAT:101013) Technische Mathematik (ÖSTAT:101020)

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum