Automata, Languages and Programming

• 

  Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings

  By Michael S. Paterson

  ( 10 ) H. Gaifman , M. J. Maher , and E. Shapiro . Reactive Behaviour semantics for Concurrent Constraint Logic Programs . In E. Lusk and R. Overbeck , editors , North American Conference on Logic Programming , 1989 .

• 

  Automata, Languages and Programming: 28th International Colloquium, Icalp 2001 Crete, Greece, July 8-12, 2001 : Proceedings

  By Fernando Orejas

  This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001.

• 

  Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings

  By Glynn Winskel, Kim G. Larsen, Sven Skyum

  Science of Computer Programming 25 ( 2-3 ) : 149-186 , 1995 . ... Computer Science Logic CSL'96 , LNCS 1258. ... Prentice - Hall International Series in Computer Science , C. A. R. Hoare series editor , 1989 . [ NW95 ] Nielsen , M.

• 

  Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings

  By Bart Preneel, Vladimiro Sassone, Ingo Wegener

  ... conservative solutions allow us to lift Lemma 1 to deducibility constraints (Lemma 3). Definition 6. Let C be a constraint system and σ a substitution, σ is conservative w.r.t. C if and only if for all x ∈ vars(C), FactE(xσ) ⊆ (StE(C) ...

• 

  Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I

  By Igor Walukiewicz, Magnús M. Halldórsson, Luca Aceto

  ... (2006) 2. Awerbuch, B., Azar, Y., Epstein, A.: Large the price of routing unsplittable flow. In: STOC, pp. 57–66. ACM ... STACS 2006. LNCS, vol. 3884, pp. 349–360. Springer, Heidelberg (2006) 8. Christodoulou, G., Mirrokni, V.S. ...

• 

  Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings

  By Lars Arge

  ... 2006 ) , pp . 41-43 . ACM Press , New York ( 2006 ) 3. Bar - Noy , A. , Cheilaris , P. , Smorodinsky , S .: Conflict ... STACS 2006. LNCS , vol . 3884 , pp . 254–263 . Springer , Heidelberg ( 2006 ) 6. Even , G. , Lotker , Z. , Ron , D ...