Search Sciweavers | Sciweavers

5205 search results - page 52 / 1041

» Tilings and model theory

click to vote

IVA
2007
Springer

103views Intelligent Agents» more IVA 2007»

Modeling Imitational Behavior Via Social Comparison Theory

14 years 3 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

14 years 2 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

14 years 2 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

14 years 2 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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers