TY - UNPD A1 - Schmidt-Schauß, Manfred T1 - On the semantics and interpretation of rule based programs with static global variables T2 - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 4 T2 - Universität Frankfurt am Main. Fachbereich Informatik: Interner Bericht ; 95,8 T3 - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 4 T3 - Interner Bericht / Fachbereich Informatik, Johann Wolfgang Goethe-Universität Frankfurt a.M. - 95,8 Y1 - 1995 UR - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/4598 UR - https://nbn-resolving.org/urn:nbn:de:hebis:30-8915 UR - http://www.ki.informatik.uni-frankfurt.de/papers/schauss/promdl.ps PB - Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology CY - Frankfurt [am Main] ER -