default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

Refine list

refinements active!

zoomed in on ?? of ?? records

dismiss all constraints

view refined list in

dblp search

export refined list as

XML

JSON

JSONP

BibTeX

showing all ?? records

• 
  Alexander L. Chistov:
  Polynomial-Time Computation of the Dimension of Algebraic Varieties in Zero-Characteristic. 1-25
• 
  F. Leon Pritchard:
  The Ideal Membership Problem in Non-Commutative Polynomial Rings. 27-48
• 
  Maribel Fernández:
  AC Complement Problems: Satisfiability and Negation Elimination. 49-82
• 
  Laureano González-Vega:
  Applying Quantifier Elimination to the Birkhoff Interpolation Problem. 83-103
• 
  Srinivas Tummarakota, Junghsen Lieh:
  Symbolic Finite Element Modeling of Structural Systems. 105-119

• 
  Uwe Egly:
  On Different Structure-Preserving Translations to Normal Form. 121-142
• 
  Massimo Marchiori:
  On the Modularity of Normal Forms in Rewriting. 143-154
• 
  Robert Cremanns, Friedrich Otto:
  For Groups the Property of Having Finite Derivation Type is Equivalent to the Homological Finiteness Condition FP_3. 155-177
• 
  Felix Ulmer, Jacques-Arthur Weil:
  Note on Kovacic's Algorithm. 179-200
• 
  Robert T. Curtis, Z. Hasan:
  Symmetric Representation of the Elements of the Janko Group J_1. 201-214
• 
  Francis Buekenhout, Dimitri Leemans:
  On the List of Finite Primitive Permutation Groups of Degree <= 50. 215-225
• 
  Dieter Aschenwald, Thomas Siegl, Robert F. Tichy:
  MAPinsure - A MAPLE Package for Life Insurance. 227-234

• 
  Dexter Kozen, Susan Landau, Richard Zippel:
  Decomposition of Algebraic Functions. 235-246
• 
  Takeshi Shimoyama, Kazuhiro Yokoyama:
  Localization and Primary Decomposition of Polynomial Ideals. 247-277
• 
  Jordi Levy, Jaume Agustí-Cullell:
  Bi-Rewrite Systems. 279-314
• 
  Manfred Schmidt-Schauß:
  Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit. 315-344
• 
  Jun Zhang:
  Symbolic Computation on Complex Polynomial Solution of Differential Equations. 345-354

• 
  Carlo Traverso:
  Hilbert Functions and the Buchberger Algorithm. 355-376
• 
  Victor Y. Pan:
  Computing x^m mod p(x) and an Application to Splitting a Polynomial Into Factors Over a Fixed Disc. 377-380
• 
  Bruno Salinier, Robert Strandh:
  Efficient Simulation of Forward-Branching Systems with Constructor Systems. 381-399
• 
  Zhenyu Qian, Kang Wang:
  Modular Higher-Order Equational Preunification. 401-424
• 
  István Gaál, Michael Pohst:
  On the Resolution of Index form Equations in Sextic Fields with an Imaginary Quadratic Subfield. 425-434
• 
  Marian Mrozek:
  Rigorous Error Analysis of Numerical Algorithms via Symbolic Computations. 435-458
• 
  Bram De Jager, Bram van Asch:
  Symbolic Solutions for a Class of Partial Differential Equations. 459-468

Executable Temporal Logics

• 
  Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
  Timed Default Concurrent Constraint Programming. 475-520
• 
  Carlos Caleiro, Gunter Saake, Amílcar Sernadas:
  Deriving Liveness Goals from Temporal Logic Specifications. 521-553
• 
  Thom W. Frühwirth:
  Temporal Annotated Constraint Logic Programming. 555-583
• 
  Mohsin Ahmed, G. Venkatesh:
  Dense Time Logic Programming. 585-613
• 
  Joeri Engelfriet, Jan Treur:
  Executable Temporal Logic for Non-Monotonic Reasoning. 615-625
• 
  Michael Fisher:
  Temporal Semantics for Concurrent Metatem. 627-648
• 
  Jean-Raymond Gagné, John Plaice:
  A Non-Standard Temporal Deductive Database System. 649-664
• 
  Edjard Mota, David Stuart Robertson, Alan Smaill:
  NatureTime: Temporal Granularity in Simulation of Ecosystems. 665-698
• 
  Chuchang Liu, Mehmet A. Orgun:
  Dealing with Multiple Granularity of Time in Temporal Logic Programming. 699-720
• 
  Mehmet A. Orgun, Antony A. Faustini:
  Executable Temporal Logic Systems. J. Symb. Comput. 22(5/6): 721-735 (1996)

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-12-09 23:42 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: