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
[2]
Hilfe
Suche: Author="Snelting, Gregor"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Quantifier elimination and information flow control for software security
Gregor Snelting
Proceedings of the Algorithmic Algebra and Logic Conference in Honor of the 60th Birthday of Volker Weispfenning, A3L'2005 (Passau, Germany, April 3-6, 2005)
, 2005, pp. 237-242
The calculus of context relations
Gregor Snelting
Acta Informatica
28
, 1991, pp. 411-445