Writing Positive/Negative-Conditional Equations Conveniently

Simple item page
dc.creatorWirth, Claus-Peter
dc.creatorLunde, Ruediger
dc.date2009-02-17
dc.date.accessioned2026-07-07T12:42:57Z
dc.date.available2026-07-07T12:42:57Z
dc.descriptionWe present a convenient notation for positive/negative-conditional equations. The idea is to merge rules specifying the same function by using case-, if-, match-, and let-expressions. Based on the presented macro-rule-construct, positive/negative-conditional equational specifications can be written on a higher level. A rewrite system translates the macro-rule-constructs into positive/negative-conditional equations.
dc.descriptionii + 21 pages
dc.identifierhttps://arxiv.org/abs/0902.2975
dc.identifierhttp://arxiv.org/abs/0902.2975
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/220258
dc.subjectArtificial Intelligence
dc.subjectLogic in Computer Science
dc.titleWriting Positive/Negative-Conditional Equations Conveniently
dc.typetext

Files

Collections

arXiv