Skip to content
<title>Channels - Making first order linear logic a generating grammar :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Making first order linear logic a generating grammar
Search for more channels:
Similar Items: Making first order linear logic a generating grammar
Channel Options
View Record
Explore related channels
Quick Look
The succinctness of first-order logic on linear orders
Quick Look
Game semantics for first-order logic
Quick Look
Two-variable Logic with Counting and a Linear Order
Quick Look
Positive First-order Logic on Words and Graphs
Quick Look
First-Order and Temporal Logics for Nested Words
Quick Look
Lindstrom theorems for fragments of first-order logic
Quick Look
Separating Regular Languages with First-Order Logic
Quick Look
On the Mints Hierarchy in First-Order Intuitionistic Logic
Quick Look
On the Satisfiability of Local First-Order Logics with Data
Quick Look
On the strictness of the quantifier structure hierarchy in first-order logic
Quick Look
Executable First-Order Queries in the Logic of Information Flows
Quick Look
Learning Concepts Definable in First-Order Logic with Counting
Quick Look
Successor-Invariant First-Order Logic on Classes of Bounded Degree
Quick Look
Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
Quick Look
A first-order logic characterization of safety and co-safety languages
Quick Look
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)
Quick Look
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
Quick Look
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
Quick Look
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
Quick Look
Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
Quick Look
A First-Order Complete Temporal Logic for Structured Context-Free Languages
Quick Look
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
Quick Look
Universal First-Order Logic is Superfluous for NL, P, NP and coNP
Quick Look
The parameterized space complexity of model-checking bounded variable first-order logic
Load more items
View Record
Prev
Explore related channels
Next
