![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Mathematics 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.