red ACM Transactions on Computational Logic (TOCL)

Verlag: Association for Computing Machinery (ACM)
ISSN: 1557-945X (elektronisch), 1529-3785 (gedruckt)
ZDB-Nummer: 2025647-4
Fachgruppen: Informatik , Mathematik
Schlagworte: Mathematische Informatik
Homepage: https://dl.acm.org/loi/tocl
erste Volltextausgabe: Vol. 1, 1 (2000)
Erscheinungform: Volltext, Online und Druckausgabe
Kosten: kostenpflichtig
Bemerkung: Der Jahrgang 1.2000 ist frei zugänglich