Sciweavers

Share
BIRTHDAY
2005
Springer
9 years 2 months ago
Expander2
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
Peter Padawitz
BIRTHDAY
2005
Springer
9 years 2 months ago
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...
Hans Jürgen Ohlbach
BIRTHDAY
2005
Springer
9 years 2 months ago
Still
Keywords Name of the disease and synonyms Definition/Diagnostic criteria Juvenile form Comments on the differential diagnosis Incidence Clinical description Method of biological d...
Alice ter Meulen
BIRTHDAY
2005
Springer
9 years 2 months ago
Goal-Directed Methods for Fuzzy Logics
George Metcalfe, Nicola Olivetti
BIRTHDAY
2005
Springer
9 years 2 months ago
Modal Logics for Metric Spaces: Open Problems
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
BIRTHDAY
2005
Springer
9 years 2 months ago
Towards MultiMedia Instruction in Safe and Secure Systems
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
Bernd Krieg-Brückner
BIRTHDAY
2005
Springer
9 years 2 months ago
Term Rewriting Meets Aspect-Oriented Programming
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
Paul Klint, Tijs van der Storm, Jurgen J. Vinju
books