<--- Back to Details
First PageDocument Content
Finite model theory / Formal languages / Computational complexity theory / Descriptive complexity / Model theory / FO / SO / Free variables and bound variables / Modal logic / Logic / Theoretical computer science / Mathematical logic
Date: 2007-04-25 06:19:51
Finite model theory
Formal languages
Computational complexity theory
Descriptive complexity
Model theory
FO
SO
Free variables and bound variables
Modal logic
Logic
Theoretical computer science
Mathematical logic

Add to Reading List

Source URL: www.logic.rwth-aachen.de

Download Document from Source Website

File Size: 278,92 KB

Share Document on Facebook

Similar Documents

Bruce Plante, Tulsa World / Courtesy of AAEC Draw your own conclusions Study the drawing and add a caption to this wordless cartoon. There is no wrong answer, so just be creative!

DocID: 1xVYx - View Document

Kirkus Reviews / Irene / Literature

She sighed, dramatically. “You talk so weird sometimes. I hate it.”. “You hate it?” I got up and walked over to the TV. Rising to my tiptoesStanding on tiptoe, I peered behind it. I spotted the postcard amid ast

DocID: 1xVUC - View Document

#ÚĸÀńè ƋƋ¬őģèŌèőƣƑ śþþèƋƑ ĸƣƑ śǁő ƣǁĸƑƣ śő ËèńèÀƋ¬ƣĸőģ ¬őÚ ģĸþƣĸőģŶ u6# Ė ï?£Å?M?ēÊX±£ ŠBɂmÌ

DocID: 1xVQg - View Document

Films / Literature / Dimension / Culture / Geometry / Flatland / Triangle geometry / Spaceland / Triangle / Flatland: The Movie

1. Of the Nature of Flatland. I call our world Flatland, not because we call it so, but to make its nature clearer to you, my happy readers, who are privileged to live in Space. Imagine a vast sheet of paper on which str

DocID: 1xVMR - View Document