Theoretical Aspects of Computing - ICTAC 2008 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540857617, 9783540857624
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recasting Constraint Automata into Büchi Automata

2008 ◽  
pp. 156-170 ◽  
Author(s):  
Mohammad Izadi ◽  
Marcello M. Bonsangue
Keyword(s):  
Büchi Automata ◽  
Constraint Automata ◽  
Buchi Automata

A Theory of Bounded Fair Scheduling

2008 ◽  
pp. 334-348 ◽  
Author(s):  
Jens Schönborn ◽  
Marcel Kyas
Keyword(s):  
Fair Scheduling

A New Approach for the Construction of Multiway Decision Graphs

2008 ◽  
pp. 228-242 ◽  
Author(s):  
Y. Mokhtari ◽  
Sa’ed Abed ◽  
O. Ait Mohamed ◽  
S. Tahar ◽  
X. Song
Keyword(s):  
New Approach ◽  
Multiway Decision Graphs

Everything Is PSPACE-Complete in Interaction Systems

2008 ◽  
pp. 216-227 ◽  
Author(s):  
Mila Majster-Cederbaum ◽  
Christoph Minnameier
Load More ...
Sign in / Sign up

Export Citation Format

Share Document