Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540230243, 9783540301240
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Nash Equilibria in Stochastic Games

2004 ◽  
pp. 26-40 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Rupak Majumdar ◽  
Marcin Jurdziński
Keyword(s):  
Nash Equilibria ◽  
Stochastic Games

Set Constraints on Regular Terms

2004 ◽  
pp. 458-472 ◽  
Author(s):  
Paweł Rychlikowski ◽  
Tomasz Truderung
Keyword(s):  
Set Constraints

A General Theorem on Termination of Rewriting

2004 ◽  
pp. 100-114 ◽  
Author(s):  
Jeremy E. Dawson ◽  
Rajeev Goré
Keyword(s):  
General Theorem

scholarly journals Game-Based Notions of Locality Over Finite Models

2004 ◽  
pp. 175-189 ◽  
Author(s):  
Marcelo Arenas ◽  
Pablo Barceló ◽  
Leonid Libkin
Keyword(s):  
Finite Models

Provably Total Primitive Recursive Functions: Theories with Induction

2004 ◽  
pp. 355-369 ◽  
Author(s):  
Andrés Cordón-Franco ◽  
Alejandro Fernández-Margarit ◽  
F. Félix Lara-Martín
Keyword(s):  
Recursive Functions ◽  
Primitive Recursive
Load More ...
Sign in / Sign up

Export Citation Format

Share Document