Skip to content
<title>Channels - Temporal Causal Models as a Model of Computation :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Temporal Causal Models as a Model of Computation
Search for more channels:
Similar Items: Temporal Causal Models as a Model of Computation
Channel Options
View Record
Explore related channels
Quick Look
Positional Properties in Temporal Logic
Quick Look
Active Inference of Extended Finite State Machine Models with Registers and Guards
Quick Look
Brik's sequence: a strange recursion
Quick Look
A Theory of Hanoi Omega-Automata and Games
Quick Look
Automatic constraint satisfaction problem
Quick Look
On Languages Describing Large Graph Classes
Quick Look
Forbidden-Context & Ordered Grammar Systems
Quick Look
Visualising CTL Witnesses and Counterexamples -- Extended Version
Quick Look
Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
Quick Look
Visibly Pushdown Languages in Groups
Quick Look
An algebraic characterisation of Eve-positional languages
Quick Look
Benchmarking Testing in Automated Theorem Proving
Quick Look
SemML 2.0: Synthesizing Controllers for LTL
Quick Look
Improving Reachability in Vector Addition Systems through Pumpability
Quick Look
Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
Quick Look
Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
Quick Look
Hamming distance between finite transducers
Quick Look
Decomposition of Automata recognizing Ideals
Quick Look
Subword enumeration up to stack-sorting equivalence
Quick Look
Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
Quick Look
Primitive Two-Dimensional Words and Iterated Pedal Triangles via Symbolic Coding
Quick Look
ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
Quick Look
The speed of convergence in greedy Galois games
Quick Look
Hyper-Minimization for Deterministic Register Automata
Load more items
View Record
Prev
Explore related channels
Next
