Model Theory in Computer Science: My Own Recurrent Themes

Author Johann A. Makowsky



PDF
Thumbnail PDF

File

LIPIcs.CSL.2011.553.pdf
  • Filesize: 425 kB
  • 15 pages

Document Identifiers

Author Details

Johann A. Makowsky

Cite AsGet BibTex

Johann A. Makowsky. Model Theory in Computer Science: My Own Recurrent Themes. In Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Leibniz International Proceedings in Informatics (LIPIcs), Volume 12, pp. 553-567, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
https://doi.org/10.4230/LIPIcs.CSL.2011.553

Abstract

I review my own experiences in research and the management of science.
Keywords
  • model theory
  • finite model theory
  • databases
  • graph invariants

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail