BibSonomy publications for /author/Stroetmann, Karl A.Mon Dec 05 00:00:00 CET 2011CoRRCombining Inclusion Polymorphism and Parametric Polymorphismcs.LO/99060131999dblp Mon Jun 27 00:00:00 CEST 2011SASconf/sas/1996220-237Lecture Notes in Computer ScienceAutomated Modular Termination Proofs for Real Prolog Programs.11451996dblp Mon Jun 27 00:00:00 CEST 2011SASconf/sas/1996387-388Lecture Notes in Computer SciencePAN - The Prolog Analyzer.11451996dblp Mon Mar 21 00:00:00 CET 2011I-XII, 1-408Computer-Architektur - Modellierung, Entwicklung und Verifikation mit Verilog: Grundlagen der Elektro- und Informationstechnik.2007dblp Wed Sep 30 00:00:00 CEST 2009ELPconf/elp/1996255-271Lecture Notes in Computer ScienceA Declarative Semantics for the Prolog Cut Operator.10501996dblp Wed Sep 16 00:00:00 CEST 2009MIEconf/mie/2009876-880Studies in Health Technology and InformaticsDesigning a Socio-Economic Assessment Method for Integrative Biomedical Research: The Osteoporotic Virtual Physiological Human Project.1502009dblp Fri Aug 21 15:12:59 CEST 2009BonnTechnology assessment1982Nachrichtenvermittlung Fri Aug 21 09:55:59 CEST 2009BonnNeue Informations- und Kommunikationstechniken1982Nachrichtenvermittlung Mon Nov 27 00:00:00 CET 2006ISBMDAconf/ismda/2006482-493Lecture Notes in Computer ScienceICT for Patient Safety: Towards a European Research Roadmap.43452006dblp Thu Jul 21 00:00:00 CEST 2005Universal Access in Health Telematicsconf/EUprojects/2005uaht77-87Lecture Notes in Computer SciencePatients and EHRs Tele Home Monitoring Reference Scenario.30412005dblp Thu Jul 21 00:00:00 CEST 2005Universal Access in Health Telematicsconf/EUprojects/2005uaht271-296Lecture Notes in Computer ScienceParticipatory Insight to Universal Access: Methods and Validation Exercises.30412005dblp Mon Dec 01 00:00:00 CET 2003J. UCS4304-319The Constrained Shortest Path Problem: A Case Study in Using ASMs.31997dblp Thu Nov 27 00:00:00 CET 2003J. Log. Program.4337-355A Completeness Result for SLDNF-Resolution.151993dblp Tue Feb 05 00:00:00 CET 2002KORSO Bookconf/korso/1995299-316Lecture Notes in Computer ScienceSeduct - A Proof Compiler for First Order Logic.10091995dblp