default search action
Journal of Logic and Algebraic Programming, Volume 82
Volume 82, Number 1, January 2013
- D. E. Nadales Agut, D. A. van Beek, Jacobus E. Rooda:
Syntax and semantics of the compositional interchange format for hybrid systems. 1-52 - Ingo Battenfeld:
Comparing approaches to free dcpo-algebra constructions. 53-70
Volume 82, Number 2, February 2013
- Sándor Vágvölgyi:
Rewriting preserving recognizability of finite tree languages. 71-94 - Zhenhua Duan, Hanna Klaudel, Maciej Koutny:
ITL semantics of composite Petri nets. 95-110
Volume 82, Numbers 3-4, April - May 2013
- Zoltán Ésik, Werner Kuich:
Free inductive K-semialgebras. 111-122 - Rudolf Berghammer:
Computing and visualizing banks sets of dominance relations using relation algebra and RelView. 123-136 - Hélia Guerra
, José Félix Costa
Processes with infinite liveness requirements. 137-161
Volume 82, Numbers 5-7, July - October 2013
- Ernesto Pimentel
Guest Editors' Foreword. 163 - Thomas T. Hildebrandt, Raghava Rao Mukkamala
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs. 164-185 - Adrian Francalanza
Distributed system contract monitoring. 186-215 - Krasimir Angelov, John J. Camilleri
A framework for conflict analysis of normative texts written in controlled natural language. 216-240
Volume 82, Number 8, November 2013
- Laura Kovács
Special issue on Automated Specification and Verification of Web Systems. 241-242 - Nataliia Bielova
Survey on JavaScript security policies and their enforcement mechanisms in a web browser. 243-262 - Marco Giunti
Algorithmic type checking for a pi-calculus with name matching and session types. 263-281 - Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Session types for safe Web service orchestration. 282-310 - David Insa, Josep Silva
Using the words/leafs ratio in the DOM tree for content extraction. 311-325 - María Alpuente
Rewriting-based repairing strategies for XML repositories. 326-352
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-10 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: