Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662544570, 9783662544587
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Nominal Automata with Name Binding

2017 ◽  
pp. 124-142 ◽  
Author(s):  
Lutz Schröder ◽  
Dexter Kozen ◽  
Stefan Milius ◽  
Thorsten Wißmann
Keyword(s):  
Name Binding

scholarly journals On Higher-Order Probabilistic Subrecursion

2017 ◽  
pp. 370-386
Author(s):  
Flavien Breuvart ◽  
Ugo Dal Lago ◽  
Agathe Herrou
Keyword(s):  
Higher Order

scholarly journals A Lambda-Free Higher-Order Recursive Path Order

2017 ◽  
pp. 461-479 ◽  
Author(s):  
Jasmin Christian Blanchette ◽  
Uwe Waldmann ◽  
Daniel Wand
Keyword(s):  
Higher Order ◽  
Recursive Path

scholarly journals Degree of Sequentiality of Weighted Automata

2017 ◽  
pp. 215-230 ◽  
Author(s):  
Laure Daviaud ◽  
Ismaël Jecker ◽  
Pierre-Alain Reynier ◽  
Didier Villevalois
Keyword(s):  
Weighted Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document