Search Sciweavers | Sciweavers

5205 search results - page 52 / 1041

» Tilings and model theory

129

click to vote

IVA
2007
Springer

103views Intelligent Agents» more IVA 2007»

Modeling Imitational Behavior Via Social Comparison Theory

16 years 8 days ago

Download u.cs.biu.ac.il

Natalie Fridman, Gal A. Kaminka

claim paper

Read More »

142

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

16 years 7 days ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

106

click to vote

CIE
2005
Springer

69views Applied Computing» more CIE 2005»

Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory

15 years 11 months ago

Download www.ims.nus.edu.sg

Denis R. Hirschfeldt

claim paper

Read More »

145

click to vote

AC
2003
Springer

102views Software Engineering» more AC 2003»

Basic Category Theory for Models of Syntax

15 years 11 months ago

Download www.cs.le.ac.uk

Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur

Roy L. Crole

claim paper

Read More »

137

click to vote

TPHOL
1998
IEEE

91views Automated Reasoning» more TPHOL 1998»

Formalizing Basic First Order Model Theory

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers