R. E. Davis. Truth, deduction, and computation. Logic and semantics for computer science. Principles of computer science series. Computer Science Press, New York1989, xv + 265 pp von Goodman, Nicolas D.

Volltext

Eitan Gurari. An introduction to the theory of computation. Principles of computer science series. Computer Science Press, Rockville, Md., 1989, xii + 314 pp von Gasarch, William I.

Volltext

A dataspace-based framework for OLAP analyses in a high-variety multistore von Forresi, Chiara, Gallinucci, Enrico, Golfarelli, Matteo, Hamadou, Hamdi Ben

Volltext

Necessary advances in computer-aided design to leverage on additive manufacturing design freedom von Fuchs, Daniel, Bartz, Ronald, Kuschmitz, Sebastian, Vietor, Thomas

Volltext

Incremental Answer Set Programming with Overgrounding von CALIMERI, FRANCESCO, IANNI, GIOVAMBATTISTA, PACENZA, FRANCESCO, PERRI, SIMONA, ZANGARI, JESSICA

Volltext

Orthologic with Axioms von Guilloud, Simon, Kunčak, Viktor

Volltext

Partial Compilation of ASP Programs von CUTERI, BERNARDO, DODARO, CARMINE, RICCA, FRANCESCO, SCHÜLLER, PETER

Volltext

Implication and axiomatization of functional and constant constraints von Hellings, Jelle, Gyssens, Marc, Paredaens, Jan, Wu, Yuqing

Volltext

Complexity and expressive power of second-order extended Horn logic von Feng, Shiguang, Zhao, Xishun

Volltext

DITtoTrEMBL: a distributed approach to high-quality automated protein sequence annotation von Moller, Steffen, Leser, Ulf, Fleischmann, Wolfgang, Apweiler, Rolf

Volltext

Partial Evaluation of Views von Parke Godfrey, Gryz, Jarek

Volltext