Fundamentals of Computation Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662557501, 9783662557518
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Generalized Satisfiability Problems via Operator Assignments

2017 ◽  
pp. 56-68 ◽  
Author(s):  
Albert Atserias ◽  
Phokion G. Kolaitis ◽  
Simone Severini
Keyword(s):  
Satisfiability Problems

scholarly journals New Results on Routing via Matchings on Graphs

2017 ◽  
pp. 69-81 ◽  
Author(s):  
Indranil Banerjee ◽  
Dana Richards

scholarly journals Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities

2017 ◽  
pp. 326-340 ◽  
Author(s):  
Max Kanovich ◽  
Stepan Kuznetsov ◽  
Andre Scedrov
Keyword(s):  
Lambek Calculus

scholarly journals Token Jumping in Minor-Closed Classes

2017 ◽  
pp. 136-149 ◽  
Author(s):  
Nicolas Bousquet ◽  
Arnaud Mary ◽  
Aline Parreau

scholarly journals Parameterized Aspects of Triangle Enumeration

2017 ◽  
pp. 96-110 ◽  
Author(s):  
Matthias Bentert ◽  
Till Fluschnik ◽  
André Nichterlein ◽  
Rolf Niedermeier

scholarly journals Busy Beaver Scores and Alphabet Size

2017 ◽  
pp. 409-417
Author(s):  
Holger Petersen
Keyword(s):  
Alphabet Size
Load More ...
Sign in / Sign up

Export Citation Format

Share Document