3385 search results - page 59 / 677 » Language, Logic, and the Brain |
IFIP
1994
Springer
14 years 2 months ago
1994
Springer
POPL
1994
ACM
14 years 2 months ago
1994
ACM
AISC
2008
Springer
14 years 2 days ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition
ICALP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We prove that the boundedness problem for monadic secondorder logic over the class of all finite words is decidable.
VMCAI
2012
Springer
12 years 5 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...