Bibliothek

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Digitale Medien
    Digitale Medien
    Conditional narrowing modulo a set of equations (1993)
    Springer
    Applicable algebra in engineering, communication and computing 4 (1993), S. 147-168 
    Details
    ISSN: 1432-0622
    Schlagwort(e): Conditional rewriting ; Conditional narrowing ; E-unification ; Constraint logic and functional programming
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Mathematik , Technik allgemein
    Notizen: Abstract Narrowing is a universal unification procedure for equational theories given by a canonical term rewrite system. In this paper we introduce conditional narrowing modulo a set of conditional equations and give a full proof of its correctness and completeness for equational conditional rewrite systemsR, E without extravariables whereE is regular andR, E is Church-Rosser moduloE and decreasing moduloE. This result can be seen as the theoretical foundation of a special form of constraint logic and functional programming.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01202035
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 2
    Digitale Medien
    Digitale Medien
    A note on a canonical theory with undecidable unification and matching problem (1987)
    Springer
    Journal of automated reasoning 3 (1987), S. 379-381 
    Details
    ISSN: 1573-0670
    Schlagwort(e): Unification ; Matching ; Equational Theories ; Canonical Term Rewriting Systems
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract A natural example of a canonical theory with undecidable unification and matching problem is presented.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00247435
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 3
    Digitale Medien
    Digitale Medien
    Modelling discrete optimisation problems inconstraint logic programming (1998)
    Springer
    Annals of operations research 81 (1998), S. 467-496 
    Details
    ISSN: 1572-9338
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Wirtschaftswissenschaften
    Notizen: Abstract Constraint logic programming has become a promising new technology for solving complexcombinatorial problems. In this paper, we investigate how (constraint) logic programmingcan support the modelling part when solving discrete optimisation problems. First, we showthat the basic functionality of algebraic modelling languages can be realised very easily ina pure logic programming system like PROLOG and that, even without using constraints,various additional features are available. Then we focus on the constraint-solving facilitiesoffered by constraint logic programming systems. In particular, we explain how the constraintsolver of the constraint logic programming language CLP(PB) can be used in modelling0 - 1 problems.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1023/A:1018981813157
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 4
    facet.materialart.
    Unbekannt
    Advanced mathematical modeling in systems biology (2014)
    Details
    Publikationsdatum: 2020-03-11
    Sprache: Englisch
    Materialart: incollection , doc-type:Other
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    OPUS
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...