Electronic Notes in Theoretical Computer Science

Title Titel
Electronic Notes in Theoretical Computer Science
Peer reviewed Begutachtet

Publications Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Alpuente, M. ; Gramlich, B. ; Villanueva, A. A Framework for Timed Concurrent Constraint Programming with External FunctionsArtikel Article2007
2Lellmann, Björn ; Ciabattoni, Agata ; Olarte, Carlos ; Pimentel, Elaine From Cut-free Calculi to Automated Deduction: The Case of Bounded ContractionArtikel Article 2017
3Knoop, Jens ; Necula, George ; Zimmermann, Wolf Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006), PrefaceArtikel Article2007
4Gramlich, Bernhard Strategic Issues, Problems and Challenges in Inductive Theorem ProvingArtikel Article2005
5Puntigam, Franz Synchronization as a Special Case of Access ControlArtikel Article2009
6Schernhammer, Felix ; Gramlich, Bernhard Termination of Lazy Rewriting RevisitedArtikel Article2008
7Freund, Rudolf ; Oswald, Marion Tissue P Systems and (MEM) Brane Systems with Mate and Drip Operations Working on StringsArtikel Article2007