Amanote Research
Register
Sign In
Formalising Design Patterns in Predicate Logic
doi 10.1109/sefm.2007.22
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2007
Authors
Ian Bayley
Publisher
IEEE
Related search
Formalising Design Patterns
Predicate Logic With Anaphora
Semantics and Linguistic Theory
Formalising the Π-Calculus Using Nominal Logic
Predicate Logic and Tree Automata With Tests
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Enhancement of Cloud Authorization System Using Predicate Logic
International Journal of Security and its Applications
Computer Science
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Semantic and Syntactic Patterns of Property Predicate Reflexion in German
Vestnik Volgogradskogo gosudarstvennogo universiteta. Serija 2. Jazykoznanije
RETRACTED ARTICLE: A Completeness Theorem for Continuous Predicate Modal Logic
Archive for Mathematical Logic
Philosophy
Logic
Generating Hard Tautologies Using Predicate Logic and the Symmetric Group
Logic Journal of the IGPL
Philosophy
