MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "DFG Schwerpunktprogramm." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

92 documents found, showing 1 through 10. Next 10 →

ATOM

Common Syntax of the DFG-Schwerpunktprogramm "Deduktion"
by Reiner Hahnle Fakultat, Reiner Hahnle, Fakultat Fur Informatik, Manfred Kerber, Christoph Weidenbach, Im Stadtwald — 1996 — HLS + 96] Dieter Hutter, Bruno Langenstein, Claus Sengler, Jorg
…Common Syntax of the DFG-Schwerpunktprogramm "Deduktion" Reiner Hahnle Fakultat fur Informatik…
Add To MetaCart

Common Syntax of the DFG-Schwerpunktprogramm Deduktion - Version 1.2
by Reiner Hähnle, Fakultat Fur Informatik, Manfred Kerber, Christoph Weidenbach, Im Stadtwald — 1996 — HLS + 96] Dieter Hutter, Bruno Langenstein, Claus Sengler, Jorg
…Common Syntax of the DFG-Schwerpunktprogramm Deduktion Version 1.2 Reiner Hahnle Fakultat fur…
Cited by 14 (1 self) – Add To MetaCart

Common Syntax of the DFG-Schwerpunktprogramm DeduktionVersion 1.5
by unknown authors
… Common Syntax of the DFG-Schwerpunktprogramm DeduktionVersion 1.5 Reiner H"ahnleFakult"at f…
Add To MetaCart

α Isabelle’s Logics: HOL 1
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel — 2008
…) and by the DFG Schwerpunktprogramm Deduktion. 2 Institut für Informatik, Technische Universität München, nipkow…
Add To MetaCart

REDLOG Computer Algebra Meets Computer Logic
by Andreas Dolzmann, Thomas Sturm — 1996 — ACM SIGSAM Bulletin
…, and explain the design issues and implementation techniques. ? The second author was supported by the dfg…
Cited by 67 (28 self) – Add To MetaCart

Langevin Dynamics Simulations of Macromolecules on Parallel Computers
by Bernd Jung, Hans--peter Lenhof, Peter Muller, Christine Rub — 1996
… with sequential simulations. This work is supported by the DFG--Schwerpunktprogramm "Effiziente Algorithmen fur…
Cited by 4 (0 self) – Add To MetaCart

Parallel Algorithms for MD-Simulations of Synthetic Polymers
by Bernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb, Christine Rub — 1997
… faster simulation of their dynamics. This work is supported by the DFG--Schwerpunktprogramm "Effiziente…
Add To MetaCart

Model semantics and simulation of time scale abstractions in collision models
by Pieter J. Mosterman, Jan F. Broenink Y, Gautam Biswas Z — 1998 — in: Proc. Eurosim-98
…, simulation Pieter J. Mosterman is supported by a grant from the DFG Schwerpunktprogramm KONDISK. y Jan F…
Cited by 1 (1 self) – Add To MetaCart

Safety Analysis Of A Radio-Based Crossing Control System Using Formal Methods
by Wolfgang Reif, Gerhard Schellhorn, Andreas Thums, Abt Programmiermethodik — 2000 — In 9th IFAC Symposium on Control in Transportation Systems
… sponsored by the DFG Schwerpunktprogramm 'Integration von Techniken der Softwarespezifikation fur…
Cited by 7 (4 self) – Add To MetaCart

Safety Analysis Of A Radio-Based
by Crossing Control System, Wolfgang Reif, Gerhard Schellhorn, Andreas Thums, Abt Programmiermethodik — 2000 — In 9th IFAC Symposium on Control in Transportation Systems
… this work is partly sponsored by the DFG Schwerpunktprogramm 'Integration von Techniken der Softwarespezi…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB