Search CORE

101 research outputs found

Automated deduction with built-in theories: completeness results and constraint solving techniques

Author: Godoy Balil Guillem
Publication venue: Universitat Politècnica de Catalunya
Publication date: 01/01/2001
Field of study

Postprint (published version

LAReferencia - Red Federada de Repositorios Institucionales de Publicaciones Científicas Latinoamericanas

UPCommons. Portal del coneixement obert de la UPC

Tesis Doctorals en Xarxa

Secretaría de Estado de Cultura

Acta Cybernetica : Volume 14. Number 1.

Author
Publication venue
Publication date: 01/01/1999
Field of study

University of Szeged

35th Symposium on Theoretical Aspects of Computer Science: STACS 2018, February 28-March 3, 2018, Caen, France

Author: STACS
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Publication date: 01/02/2018
Field of study

Digitale Bibliothek Thüringen

Acta Cybernetica : Volume 12. Number 1.

Author
Publication venue
Publication date: 01/01/1995
Field of study

University of Szeged

36th International Symposium on Theoretical Aspects of Computer Science: STACS 2019, March 13-16, 2019, Berlin, Germany

Author: STACS 36. 2019 Berlin
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Publication date: 01/03/2019
Field of study

Digitale Bibliothek Thüringen

LIPIcs, Volume 261, ICALP 2023, Complete Volume

Author: Etessami Kousha
Feige Uriel
Puppis Gabriele
Publication venue: LIPIcs - Leibniz International Proceedings in Informatics. 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)
Publication date: 01/01/2023
Field of study

LIPIcs, Volume 261, ICALP 2023, Complete Volum

Dagstuhl Research Online Publication Server

38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2018, December 11-13, 2018, Ahmedabad, India

Author: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 38. 2018 Ahmedabad
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Publication date: 01/12/2018
Field of study

Digitale Bibliothek Thüringen

TAL Bibliography (1951-2002). Parte I

Author: Enea Alessandro
Gazzetti S.
Orsolini Paola
Pardelli Gabriella
Sassi Manuela
Publication venue
Publication date
Field of study

No abstract availabl

PUblication MAnagement

Computer Science Logic 2018: CSL 2018, September 4-8, 2018, Birmingham, United Kingdom

Author: EACSL Annual Conference on Computer Science Logic <27. 2018, Birmingham>
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Publication date: 01/08/2018
Field of study

Digitale Bibliothek Thüringen

…

core

core