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

TOTAL DOCUMENTS

56
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662476659, 9783662476666
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals An Algebraic Geometric Approach to Nivat’s Conjecture

2015 ◽  
pp. 273-285 ◽  
Author(s):  
Jarkko Kari ◽  
Michal Szabados
Keyword(s):  
Geometric Approach

Parsimonious Types and Non-uniform Computation

2015 ◽  
pp. 350-361 ◽  
Author(s):  
Damiano Mazza ◽  
Kazushige Terui

Owicki-Gries Reasoning for Weak Memory Models

2015 ◽  
pp. 311-323 ◽  
Author(s):  
Ori Lahav ◽  
Viktor Vafeiadis
Keyword(s):  
Memory Models

Towards the Graph Minor Theorems for Directed Graphs

2015 ◽  
pp. 3-10
Author(s):  
Ken-Ichi Kawarabayashi ◽  
Stephan Kreutzer
Keyword(s):  
Directed Graphs ◽  
Graph Minor

scholarly journals Effect Algebras, Presheaves, Non-locality and Contextuality

2015 ◽  
pp. 401-413 ◽  
Author(s):  
Sam Staton ◽  
Sander Uijlen
Keyword(s):  
Effect Algebras ◽  
Non Locality

scholarly journals Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time

2015 ◽  
pp. 260-272 ◽  
Author(s):  
Marcin Jurdziński ◽  
Ranko Lazić ◽  
Sylvain Schmitz
Keyword(s):  
Polynomial Time ◽  
Energy Games ◽  
Pseudo Polynomial Time

scholarly journals Adaptively Secure Coin-Flipping, Revisited

2015 ◽  
pp. 663-674 ◽  
Author(s):  
Shafi Goldwasser ◽  
Yael Tauman Kalai ◽  
Sunoo Park
Keyword(s):  
Coin Flipping

scholarly journals Edit Distance for Pushdown Automata

2015 ◽  
pp. 121-133 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Thomas A. Henzinger ◽  
Rasmus Ibsen-Jensen ◽  
Jan Otop
Keyword(s):  
Edit Distance ◽  
Pushdown Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document