Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Ghilardi, Silvio"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Automated termination in model-checking modulo theories
Alessandro Carioni
,
Silvio Ghilardi
,
Silvio Ranise
International Journal of Foundations of Computer Science
24
(2), 2013, pp. 211-232
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
Franz Baader
,
Silvio Ghilardi
,
Cesare Tinelli
Information and Computation
204
(10), 2006, pp. 1413-1452
Combining word problems through rewriting in categories with products
Camillo Fiorentini
,
Silvio Ghilardi
Theoretical Computer Science
294
(1-2), 2003, pp. 103-149