Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

78

AML
2004

42views more AML 2004»

Definability and automorphisms in abstract logics

15 years 2 months ago

Definability and automorphisms in abstract logics

Download intramath.uniandes.edu.co

Xavier Caicedo

Real-time Traffic

AML 2004 |

claim paper

Related Content

» Definability in the Homomorphic Quasiorder of Finite Labeled Forests

» An Abstract Way to Define Rewriting Logic

» Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

» A Generalized Class of Tnorms From a Categorical Point of View

» The Lattice Structure of Sets of Surjective HyperOperations

» Synthesis of Finitestate and Definable Winning Strategies

» Logical Interpretation Static Program Analysis Using Theorem Proving

» Symmetry Detection in General Game Playing

» A Logic for Formal Verification of Quantum Programs

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2004
Where	AML
Authors	Xavier Caicedo

Comments (0)