Search Sciweavers | Sciweavers

5205 search results - page 52 / 1041

» Tilings and model theory

Voted

IVA
2007
Springer

103views Intelligent Agents» more IVA 2007»

Modeling Imitational Behavior Via Social Comparison Theory

15 years 8 months ago

Download u.cs.biu.ac.il

Natalie Fridman, Gal A. Kaminka

claim paper

Read More »

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

15 years 8 months ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

click to vote

CIE
2005
Springer

69views Applied Computing» more CIE 2005»

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

15 years 7 months ago

Download www.ims.nus.edu.sg

Denis R. Hirschfeldt

claim paper

Read More »

click to vote

AC
2003
Springer

102views Software Engineering» more AC 2003»

Basic Category Theory for Models of Syntax

15 years 7 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 »

click to vote

TPHOL
1998
IEEE

91views Automated Reasoning» more TPHOL 1998»

Formalizing Basic First Order Model Theory

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers