default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematics in Computer Science, Volume 2
Volume 2, Number 1, November 2008
- John Plaice, Mehmet A. Orgun
:
In Honour of Bill Wadge. 1-3 - Victor L. Selivanov:
Wadge Reducibility and Infinite Computations. 5-36 - John Plaice, Blanca Mancilla, Gabriel Ditu:
From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming. 37-61 - Blanca Mancilla, John Plaice:
Possible Worlds Versioning. 63-83 - Olivier Finkel:
Wadge Degrees of Infinitary Rational Relations. 85-102 - Dominic A. Orchard, Steve Matthews:
Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation. 103-122 - Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis:
Efficient Intensional Implementation for Lazy Functional Languages. 123-141 - Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak:
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. 143-163 - Mehmet A. Orgun:
Querying Historical Data Over Multiple Time-Lines. 165-191
Volume 2, Number 2, December 2008
- Manfred Kerber:
Foreword. 193-194 - Walaa Aly, Seiichi Uchida, Masakazu Suzuki:
Identifying Subscripts and Superscripts in Mathematical Documents. 195-209 - Arjeh M. Cohen, Jan Willem Knopper, Scott H. Murray:
Automatic Proof of Graph Nonisomorphism. 211-229 - Josef Urban, Geoff Sutcliffe:
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments. 231-251 - Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner:
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. 253-277 - Michael Kohlhase:
Using as a Semantic Markup Format. 279-304 - Moody Ebrahem Altamimi, Abdou S. Youssef:
A Math Query Language with an Expanded Set of Wildcards. 305-331 - Abdou S. Youssef:
Relevance Ranking and Hit Description in Math Search. 333-353 - Claudio Sacerdoti Coen, Stefano Zacchiroli:
Spurious Disambiguation Errors and How to Get Rid of Them. 355-378 - James H. Davenport, Paul Libbrecht:
The Freedom to Extend OpenMath and its Utility. 379-398
Volume 2, Number 3, March 2009
- Hirokazu Anai, Katsuhisa Horimoto:
Foreword. 399-400 - Takeyuki Tamura, Tatsuya Akutsu:
Algorithms for Singleton Attractor Detection in Planar and Nonplanar AND/OR Boolean Networks. 401-420 - Heike Siebert:
Deriving Behavior of Boolean Bioregulatory Networks from Subnetwork Dynamics. 421-442 - François Boulier, François Lemaire, Alexandre Sedoglavic, Asli Ürgüplü:
Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems. 443-464 - Luca Bortolussi, Alberto Policriti:
Hybrid Dynamics of Stochastic pi-Calculus. 465-491 - Thomas Sturm, Andreas Weber, Essam O. Abdel-Rahman, M'hammed El Kahoui:
Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology. 493-515 - M'hammed El Kahoui, Adamou Otto:
Stability of Disease Free Equilibria in Epidemiological Models. 517-533 - Chris McCaig, Rachel Norman, Carron Shankland:
From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology. 535-556
Volume 2, Number 4, December 2009
- Silvana Ilie, Robert M. Corless, Chris Essex:
The Computational Complexity of Extrapolation Methods. 557-566 - Hanna K. Pikkarainen, Josef Schicho:
A Bayesian Model for Root Computation. 567-586 - Katsusuke Nabeshima:
Reduced Gröbner Bases in Polynomial Rings over a Polynomial Ring. 587-599 - Deepak Kapur, Yongyang Cai:
An Algorithm for Computing a Gröbner Basis of a Polynomial Ideal over a Ring with Zero Divisors. 601-634 - Juan Gerardo Alcázar:
Good Local Behavior of Offsets to Implicit Algebraic Curves. 635-652 - Marc Hellmuth, Wilfried Imrich, Werner Klöckl, Peter F. Stadler:
Local Algorithms for the Prime Factorization of Strong Product Graphs. 653-682
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-12-05 22:25 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:
