Relating Z and First−order logic

Relating Z and First−order logic

অন্যান্য সংস্করণ প্রদর্শন করুন (2)

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Martin, A
বিন্যাস:	Journal article
প্রকাশিত:	2000

অনুরূপ উপাদানগুলি

Relating Z and first-order logic
অনুযায়ী: Martin, A
প্রকাশিত: (2000)

Relating Z and first−order logic
অনুযায়ী: Martin, A
প্রকাশিত: (1999)

The succinctness of first-order logic on linear orders
অনুযায়ী: Martin Grohe, অন্যান্য
প্রকাশিত: (2005-06-01)

First-order logic /
অনুযায়ী: 323371 Smullyan, Raymond M.
প্রকাশিত: (1968)

From Separation Logic to First−Order Logic
অনুযায়ী: Calcagno, P, অন্যান্য
প্রকাশিত: (2005)

Characterizing Second Order Logic with First Order Quantifiers
অনুযায়ী: Harel, David
প্রকাশিত: (2023)

First-order logics for comparative similarity
অনুযায়ী: Williamson, T
প্রকাশিত: (1988)

Binding forms in first-order logic
অনুযায়ী: Mogavero, F, অন্যান্য
প্রকাশিত: (2015)

Game semantics for first-order logic
অনুযায়ী: Olivier Laurent
প্রকাশিত: (2010-10-01)

First-order logic : a concise introduction /
অনুযায়ী: 283524 Heil, John
প্রকাশিত: (1994)

Positive First-order Logic on Words and Graphs
অনুযায়ী: Denis Kuperberg
প্রকাশিত: (2023-07-01)

On the Satisfiability of Local First-Order Logics with Data
অনুযায়ী: Benedikt Bollig, অন্যান্য
প্রকাশিত: (2024-07-01)

Separating Regular Languages with First-Order Logic
অনুযায়ী: Thomas Place, অন্যান্য
প্রকাশিত: (2016-03-01)

On the Mints Hierarchy in First-Order Intuitionistic Logic
অনুযায়ী: Aleksy Schubert, অন্যান্য
প্রকাশিত: (2017-04-01)

Lindstrom theorems for fragments of first-order logic
অনুযায়ী: Johan van Benthem, অন্যান্য
প্রকাশিত: (2009-08-01)

First-Order and Temporal Logics for Nested Words
অনুযায়ী: Rajeev Alur, অন্যান্য
প্রকাশিত: (2008-11-01)

The Limits of Decidability for First Order Logic on CPDA Graphs
অনুযায়ী: Broadbent, C
প্রকাশিত: (2012)

Many−Valued First−Order Logics with Probabilistic Semantics
অনুযায়ী: Lukasiewicz, T
প্রকাশিত: (1999)

Executable First-Order Queries in the Logic of Information Flows
অনুযায়ী: Heba Aamer, অন্যান্য
প্রকাশিত: (2024-05-01)

On the strictness of the quantifier structure hierarchy in first-order logic
অনুযায়ী: Yuguo He
প্রকাশিত: (2014-11-01)

On the decidability of monadic first order logic in sequent calculus
অনুযায়ী: Jean-Baptiste Joinet
প্রকাশিত: (2016-12-01)

Admissibility, compatibility, and deducibility in first-order sequent logics
অনুযায়ী: Alexander Lyaletski
প্রকাশিত: (2015-11-01)

Omitting Types in Fragments and Extensions of First Order Logic
অনুযায়ী: Tarek Sayed Ahmed
প্রকাশিত: (2021-09-01)

Some Turing-Complete Extensions of First-Order Logic
অনুযায়ী: Antti Kuusisto
প্রকাশিত: (2014-08-01)

First order logic to set requirements for secure code execution
অনুযায়ী: A. V. Kozachok
প্রকাশিত: (2018-10-01)

Encoding : A Logic for Z in 2OBJ
অনুযায়ী: Martin, A
প্রকাশিত: (1993)

Two-Variable Logic with Two Order Relations
অনুযায়ী: Thomas Schwentick, অন্যান্য
প্রকাশিত: (2012-03-01)

Making first order linear logic a generating grammar
অনুযায়ী: Sergey Slavnov
প্রকাশিত: (2023-11-01)

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic
অনুযায়ী: Jihong Han, অন্যান্য
প্রকাশিত: (2009-01-01)

A Syntactic Proof of the Decidability of First-Order Monadic Logic
অনুযায়ী: Eugenio Orlandelli, অন্যান্য
প্রকাশিত: (2024-02-01)

Successor-Invariant First-Order Logic on Classes of Bounded Degree
অনুযায়ী: Julien Grange
প্রকাশিত: (2021-08-01)

Many-Sorted First-Order Composition-Nominative Logic as Institution
অনুযায়ী: Alexey Chentsov
প্রকাশিত: (2016-04-01)

Soundness of an Encoding of A Logic for Z in 2OBJ
অনুযায়ী: Hilberdink, H, অন্যান্য
প্রকাশিত: (1992)

First order logic as a formal language : an investigation of categorial grammar.
অনুযায়ী: Levin, Harold Dresner
প্রকাশিত: (2009)

Completeness classes for intuitionistic first-order temporal logic with time gaps
অনুযায়ী: Romas Alonderis
প্রকাশিত: (2023-11-01)

A first-order logic characterization of safety and co-safety languages
অনুযায়ী: Alessandro Cimatti, অন্যান্য
প্রকাশিত: (2023-08-01)

Tree Languages Defined in First-Order Logic with One Quantifier Alternation
অনুযায়ী: Mikolaj Bojanczyk, অন্যান্য
প্রকাশিত: (2010-10-01)

Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
অনুযায়ী: Sandra Kiefer, অন্যান্য
প্রকাশিত: (2019-05-01)

Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
অনুযায়ী: Joost Engelfriet, অন্যান্য
প্রকাশিত: (2007-04-01)

Local Normal Forms for First-Order Logic with Applications to Games and Automata
অনুযায়ী: Thomas Schwentick, অন্যান্য
প্রকাশিত: (1999-01-01)