Automata, Languages, and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

59
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642392115, 9783642392122
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Outsourced Pattern Matching

2013 ◽  
pp. 545-556 ◽  
Author(s):  
Sebastian Faust ◽  
Carmit Hazay ◽  
Daniele Venturi
Keyword(s):  
Pattern Matching

A Guided Tour in Random Intersection Graphs

2013 ◽  
pp. 29-35 ◽  
Author(s):  
Paul G. Spirakis ◽  
Sotiris Nikoletseas ◽  
Christoforos Raptopoulos
Keyword(s):  
Intersection Graphs ◽  
Guided Tour

scholarly journals FO Model Checking of Interval Graphs

2013 ◽  
pp. 250-262 ◽  
Author(s):  
Robert Ganian ◽  
Petr Hliněný ◽  
Daniel Král’ ◽  
Jan Obdržálek ◽  
Jarett Schwartz ◽  
...  
Keyword(s):  
Model Checking ◽  
Interval Graphs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document