Implementation and Application of Automata - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319409450, 9783319409467
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Solving Parity Games Using an Automata-Based Algorithm

2016 ◽  
pp. 64-76 ◽  
Author(s):  
Antonio Di Stasio ◽  
Aniello Murano ◽  
Giuseppe Perelli ◽  
Moshe Y. Vardi
Keyword(s):  
Parity Games

scholarly journals Looking for Pairs that Hard to Separate: A Quantum Approach

2016 ◽  
pp. 213-223 ◽  
Author(s):  
Aleksandrs Belovs ◽  
J. Andres Montoya ◽  
Abuzer Yakaryılmaz
Keyword(s):  
Quantum Approach

scholarly journals Implementation of Code Properties via Transducers

2016 ◽  
pp. 189-201 ◽  
Author(s):  
Stavros Konstantinidis ◽  
Casey Meijer ◽  
Nelma Moreira ◽  
Rogério Reis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document