• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • Universität Ulm
  • Publikationsnachweise
  • View Item
  •   Home
  • Universität Ulm
  • Publikationsnachweise
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A Confluence Checker for Constraint Handling Rules with Persistent Constraints

Erstveröffentlichung
2017
Authors
Richter, Frank
Gall, Daniel
Frühwirth, Thom
Beitrag zu einer Konferenz


Published in
Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)2017
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Softwaretechnik und Programmiersprachen
Conference
21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP), 2017-09-19 - 2017-09-21, Würzburg
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works

Metadata
Show full item record

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement