Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=1251068472



Zurück



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1251068472
Person Tinelli, Cesare
Akademischer Grad Prof. Dr.
Geschlecht männlich
Quelle Homepage (Stand: 22.04.2022): https://homepage.cs.uiowa.edu/~tinelli
Zeit Wirkungsdaten: 1996-
Land Italien (XA-IT); USA (XD-US)
Beruf(e) Informatiker
Beziehungen zu Organisationen University of Iowa
Typ Person (piz)
Autor von 5 Publikationen
  1. A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
    Baader, Franz. - Dresden : Technische Universität Dresden, 2022
  2. A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics
    Baader, Franz. - Dresden : Technische Universität Dresden, 2022
  3. ...
Beteiligt an 8 Publikationen
  1. Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
    In: Acta informatica 24.4.2017: 1-2
  2. Refutation-based synthesis in SMT
    In: Formal methods in system design 16.2.2017: 1-30
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration