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="Voronkov, A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Basis of solutions for a system of linear inequalities in integers: Computation and applications
D. Chubarov
,
A. Voronkov
Lecture Notes in Computer Science
3618
, 2005, pp. 260-270
Deductive program synthesis and Markov's principle
A.A. Voronkov
Lecture Notes in Computer Science
278
, 1987, pp. 479-482