1
0
0
(1 - 19 von 21
)
Mathematical Foundations of Computer Science 2005: 30th ...google.de
books.google.de
... occur as outputs of a specific partial information algorithm are Combining Self-reducibility and Partial Information Algorithms André Hernich, Arfst Nickelsen.
Foundations of Query Answering in Relational Data ExchangeGoogle Books
books.google.com
André Hernich. Publisher, Logos Verlag Berlin GmbH, ISBNLength, 223 pages. Subjects. Computers. › General · Computers André Hernich. Publisher, Logos Verlag Berlin GmbH, ISBNLength, 223 pages. Subjects. Computers. › General · Computers
Mathematical Foundations of Computer Science 2005: 30th International...
books.google.ca
This book constitutes the refereed proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, held in Gdansk,...
drops.dagstuhl.de
drops.dagstuhl.de
von PG Kolaitis · Zitiert von: 2 — Authors: Martin Grohe, Berit Grußien, André Hernich, and Bastian Laubner. Published in: LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th ...
dblp: computer science bibliography
dblp.org
André Hernich, Bastian Laubner: L-Recursion and a new Logic for Logarithmic Space. Log. Methods Comput. Sci. 9(1) (2012); [b1]. view. electronic edition ...
Combining Self-reducibility and Partial Information Algorithms |...
link.springer.com
Combining Self-reducibility and Partial Information Algorithms. Authors; Authors and affiliations. André Hernich; Arfst Nickelsen. André Hernich. 1. Arfst Nickelsen Humboldt-Universität zu BerlinGermany; 2.Technische Universität BerlinGermany. Conference paper Downloads. Part of the Lecture Notes in Computer ...
Google Scholar
scholar.google.com.au
André Hernich. University of Liverpool. ยืนยันอีเมลแล้วที่ liverpool.ac.uk - หน้าแรก · Database TheoryKnowledge RepresentationLogic in Computer ...
AD Scientific Index
www.adscientificindex.com
André Hernich. AD Scientific Index Engineering & Technology / Computer Science. University of Liverpool - Liverpool / United Kingdom. Edit ...
Logical Methods in Computer Science
lmcs.episciences.org
von A Hernich · · Zitiert von: 29 — Authors: Andre Hernich. NULL. Andre Hernich. Relational data exchange is the problem of translating relational data from a source schema into a target schema ...
Semantic Scholar
www.semanticscholar.org
André Hernich, C. Lutz, +1 author. F. Wolter · Published in ACM SIGACT-SIGMOD-SIGART… 9 May · Computer Science.
University of Edinburgh Research Explorer
www.research.ed.ac.uk
von A Hernich · · Zitiert von: 34 — Closed world data exchange. André Hernich, Leonid Libkin, Nicole Schweikardt. School of Informatics · Laboratory for Foundations of Computer Science. Research ...
University of Strathclyde
pureportal.strath.ac.uk
Well-Founded Semantics for Extended Datalog and Ontological Reasoning. Clemens Kupke, Georg Gottlob, Thomas Lukasiewicz, Andre Hernich. Computer And ...
André Hernich - Google Scholar
scholar.google.com
University of Liverpool - Citeret af 390 - Database Theory - Knowledge Representation - Logic in Computer Science
André Hernich
easychair.org
LICS 2017: THIRTY-SECOND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE. PROGRAMINDEXES. André Hernich. Organization: University of Liverpool. Web page: http://www.csc.liv.ac.uk/~hernich. Pages in this Program. Program · Program for Wednesday, June 21st · Disclaimer | Powered by ...
Special Issue for the Conference on Computer Science Logic (CSL)
lmcs.episciences.org
Martin Grohe, Berit Grußien, André Hernich and Bastian Laubner. Unifying Büchi Complementation Constructions. Seth J. Fogarty, Orna Kupferman, Thomas ...
Alle Infos zum Namen "André Hernich"
Verwandte Suchanfragen zu André Hernich
Thomas Lukasiewicz Georg Gottlob Clemens Kupke | Martin Grohe Carsten Lutz |
Personen Vorname "André" (21663) Name "Hernich" (8) |
sortiert nach Relevanz / Datum