Mathematics in Computer Science, Volume 2
Volume 2, Number 1, November 2008
- 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
- 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
Volume 2, Number 3, March 2009
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team