default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Algebraic Programming, Volume 79
Volume 79, Number 1, January 2010
- Kurt Sieber:
Preface. 1 - Douglas S. Bridges:
Continuity and Lipschitz constants for projections. 2-9 - Reinhold Heckmann:
Similarity, topology, and uniformity. 10-31 - Margarita V. Korovina, Nicolai N. Vorobjov Jr.:
Computing combinatorial types of trajectories in Pfaffian Dynamics. 32-37 - Andrei S. Morozov
:
On computable presentations of some functional lattices. 38-46 - Karl-Heinz Niggl, Henning Wunderlich:
Implicit characterizations of FPTIME and NC revisited. 47-60 - Michel P. Schellekens:
MO2A; unlocking the potential of compositional static average-case analysis. 61-83 - Peter Schuster:
Problems, solutions, and completions. 84-91 - Victor L. Selivanov:
On the Wadge reducibility of k-partitions. 92-102
Volume 79, Number 2, February 2010
- José Meseguer, Miguel Palomino, Narciso Martí-Oliet:
Algebraic simulations. 103-143 - Walter Guttmann, Bernhard Möller:
Normal design algebra. 144-173 - Razvan Diaconescu:
Quasi-boolean encodings and conditionals in algebraic specification. 174-188 - Zoltán Ésik:
Axiomatizing the equational theory of regular tree languages. 189-213
Volume 79, Numbers 3-5, April - July 2010
- Richard Banach, Czeslaw Jeske:
Stronger compositions for retrenchments. 215-232 - Arjan J. Mooij, Christian Stahl, Marc Voorhoeve:
Relating fair testing and accordance for service replaceability. 233-244 - Xiaowei Huang, Li Jiao, Weiming Lu:
A precongruence format for should testing preorder. 245-263 - Florent Kirchner, César A. Muñoz:
The proof monad. 264-277 - Oana Agrigoroaiei, Gabriel Ciobanu:
Reversing computation in membrane systems. 278-288
Volume 79, Number 6, August 2010
- Gheorghe Paun, Mario J. Pérez-Jiménez, Gheorghe Stefanescu:
Membrane computing and programming. 289-290 - Gheorghe Paun:
A quick introduction to membrane computing. 291-294 - Oana Agrigoroaiei, Gabriel Ciobanu:
Rule-based and object-based event structures for membrane systems. 295-303 - Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini:
Compositional semantics of spiking neural P systems. 304-316 - José M. Cecilia, José M. García, Ginés D. Guerrero, Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez:
Simulating a P system based efficient solution to SAT by using GPUs. 317-325 - Camelia Chira, Traian-Florin Serbanuta, Gheorghe Stefanescu:
P systems with control nuclei: The concept. 326-333 - Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu:
P systems and the Byzantine agreement. 334-349 - Florentin Ipate, Marian Gheorghe, Raluca Lefticaru:
Test generation from P systems using model checking. 350-362 - Vincenzo Manca, Luca Marchetti:
Metabolic approximation of real periodical functions. 363-373 - Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez:
A P-Lingua based simulator for tissue P systems. 374-382 - Van Nguyen, David A. Kearney, Gianpaolo Gioiosa:
An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P. 383-396 - Grigore Rosu, Traian-Florin Serbanuta:
An overview of the K semantic framework. 397-434
Volume 79, Number 7, October 2010
- Tarmo Uustalu, Jüri Vain:
Guest Editors' Foreword. 435 - Martin Fränzle, Tino Teige, Andreas Eggers:
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. 436-466 - Margus Veanes, Jonathan Jacky:
Composing model programs for analysis. 467-482 - Lennart Beringer:
Relational bytecode correlations. 483-514 - Markus Degen, Peter Thiemann, Stefan Wehr:
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. 515-549 - Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi:
Termination in higher-order concurrent calculi. 550-577 - Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Lazy behavioral subtyping. 578-607 - Cristian Prisacariu:
Synchronous Kleene algebra. 608-635 - Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter:
A formalisation of the copy-modify-merge approach to version control in MDE. 636-658 - Felix Schernhammer, Bernhard Gramlich:
Characterizing and proving operational termination of deterministic conditional term rewriting systems. 659-688 - Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen:
Quantitative analysis of weighted transition systems. 689-703
Volume 79, Number 8, November 2010
- Rudolf Berghammer, Bernhard Möller, Georg Struth:
Relations and Kleene algebras in computer science. 705-706 - Philippe Balbiani, Tinko Tinchev:
Boolean logics with relations. 707-721 - Rudolf Berghammer, Britta Kehden:
Relation-algebraic specification and solution of special university timetabling problems. 722-739 - Jean-Lou De Carufel, Jules Desharnais:
Abstract representation theorems for demonic refinement algebras. 740-767 - Walter Guttmann:
Imperative abstractions for functional actions. 768-793 - Peter Höfner, Georg Struth:
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. 794-811 - Wolfram Kahl:
Determinisation of relational substitutions in ordered categories with domain. 812-829 - Yasuo Kawahara, Michael Winter:
Cardinality functions in allegories. 830-844
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 2024-11-15 19:21 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:
