Finite Systems Handling Language (YAFOLL message 1) (original) (raw)
Related papers
Algebraic Logic and Computer Science
2011
First order languages: Further syntax and semantics
2011
Urbana
A Linear Logic Model of State ( Extended Abstract )
1993
Information Sciences, 1989
An algebraic theory of observables
Proceedings of the 1994 International Symposium on Logic Programming, 1994
Reconciling first-order logic to algebra
A Linear Logic Model of State ( Preliminary Report )
1992
An algebraic approach to semantics of programming languages
Theoretical Computer Science, 1994
Fundamental Study Equational programming in A-calculus via SL-systems. Part 2*
1996
The First-Order Logical Environment
Lecture Notes in Computer Science, 2013
Finite State Methods and Description Logics
2013
A kernel language for algebraic specification and implementation extended abstract
Lecture Notes in Computer Science, 1983
A simplified framework for first-order languages and its formalization in Mizar (PhD thesis)
2012
Logic, Language, and Analysis Software Abstractions
Algebraic semantics for knowledge-based logic programs
1994
An arithmetical view to first-order logic
Annals of Pure and Applied Logic, 2010
Algebra of Systems: A Metalanguage for Model Synthesis and Evaluation
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2009
ALGEBRAIC MODELS FOR DISCRETE SYSTEMS’ ANALYSIS
Finite-model theory - a personal perspective
Theoretical Computer Science, 1993
Towards a Relational Treating of Language and Logical Systems
2020
Algebraic Structures for Logical Calculi
Mathematical Principles of Fuzzy Logic, 1999
Generalized algebraic structures for the representation of discrete systems
Linear Algebra and Its Applications, 1998
Quantitative Monadic Second-Order Logic
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Algebraic tools for system construction
Lecture Notes in Computer Science, 1984
Algebra automata II: The categorical framework for dynamic analysis
Information and control, 1968
A semi-functional implementation of a higher-order logic programming language
Topics in Advanced Language Implementation, 1990
On the specification of operations on the rational behaviour of systems
Electronic Proceedings in Theoretical Computer Science, 2012
Algebraic Structures of Programs: First Steps to Algebraic Programming
Lecture Notes in Computer Science
LF: a foundational higher order logic
Automata-based presentations of infinite structures
Finite and Algorithmic Model Theory (volume 379 of London Mathematical Society Lecture Notes Series), 2011
Theoretical Computer Science, 1990
Finite Model Theory and its applications
2007