Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
automata
Publications
Reasoning About Data Trees Using CHCs
Marco Faella
and
Gennaro Parlato
EasyChair Preprint 8615
A Review Paper on Finite Automata Application in String Identification
Harsh Gujar
,
Karan Gawli
,
Vivek Ingle
,
Shubham Deokate
and
Yash Chungade
EasyChair Preprint 7691
Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems
Kamil Khadiev
and
Aliya Khadieva
EasyChair Preprint 1521
Antiprenexing for WSkS: A Little Goes a Long Way
Vojtěch Havlena
,
Lukáš Holík
,
Ondrej Lengal
,
Ondrej Vales
and
Tomas Vojnar
In
:
LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
Anupam Das
,
Amina Doumane
and
Damien Pous
In
:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Why These Automata Types?
Udi Boker
In
:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Genetic Algorithm for Truck Dispatching in Mining
Wesley Cox
,
Tim French
,
Mark Reynolds
and
Lyndon While
In
:
GCAI 2017. 3rd Global Conference on Artificial Intelligence
Copyright © 2012-2024 easychair.org. All rights reserved.