Search Sciweavers | Sciweavers

5205 search results - page 56 / 1041

» Tilings and model theory

106

click to vote

APAL
2002

105views more APAL 2002»

Saturated models of universal theories

15 years 1 months ago

Download www.andrew.cmu.edu

A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...

Jeremy Avigad

claim paper

Read More »

click to vote

CORR
2004
Springer

85views Education» more CORR 2004»

Real Time Models of the Asynchronous Circuits: The Delay Theory

15 years 1 months ago

Download www.romai.ro

Serban E. Vlad

claim paper

Read More »

click to vote

JSYML
2000

50views more JSYML 2000»

Model Companions of Theories with An Automorphism

15 years 1 months ago

Download shelah.logic.at

Hirotaka Kikyo

claim paper

Read More »

click to vote

CI
1998

44views more CI 1998»

Toward a Model Theory of Actions: How Agents do it in Branching Time

15 years 1 months ago

Download www.csc.ncsu.edu

Munindar P. Singh

claim paper

Read More »

click to vote

JSYML
2002

100views more JSYML 2002»

Deconstructing Inner Model Theory

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers