|
Search the dblp DataBase
Andreas Werner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Andreas Werner, Alexander Bockmayr, Stefan Krischer
How to Realize LSE Narrowing. [Citation Graph (0, 0)][DBLP] ALP, 1994, pp:59-76 [Conf]
- Andreas Werner
Normalizing Narrowing for Weakly Terminating and Confluent Systems. [Citation Graph (0, 0)][DBLP] CP, 1995, pp:415-430 [Conf]
- Alexander Bockmayr, Stefan Krischer, Andreas Werner
An Optimal Narrowing Strategy for General Canonical Systems. [Citation Graph (0, 0)][DBLP] CTRS, 1992, pp:483-497 [Conf]
- Alexander Bockmayr, Andreas Werner
LSE Narrowing for Decreasing Conditional Term Rewrite Systems. [Citation Graph (0, 0)][DBLP] CTRS, 1994, pp:51-70 [Conf]
- Gerald Stieglbauer, Andreas Werner
Modellierung von deterministischer Software in Simulink. [Citation Graph (0, 0)][DBLP] GI Jahrestagung (2), 2004, pp:8-12 [Conf]
- Andreas Werner
A Semantic Approach to Order-Sorted Rewriting. [Citation Graph (0, 0)][DBLP] RTA, 1993, pp:47-61 [Conf]
- Andreas Werner, Alexander Bockmayr, Stefan Krischer
A Concept for the Implementation of LSE Narrowing. [Citation Graph (0, 0)][DBLP] WLP, 1993, pp:104-107 [Conf]
- Alexander Bockmayr, Stefan Krischer, Andreas Werner
Narrowing Strategies for Arbitrary Canonical Rewrite Systems. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1995, v:24, n:1/2, pp:125-155 [Journal]
- Gerald Stieglbauer, Andreas Werner
Modellierung von deterministischer Software in Simulink. [Citation Graph (0, 0)][DBLP] Inform., Forsch. Entwickl., 2005, v:19, n:4, pp:189-193 [Journal]
- Andreas Werner
A Semantic Approach to Order-Sorted Rewriting. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1998, v:25, n:4, pp:527-569 [Journal]
- Andreas Werner, Alexander Bockmayr, Stefan Krischer
How to Realize LSE Narrowing. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1998, v:16, n:4, pp:397-434 [Journal]
Datenmodell zur Energiepotential und -bedarfsanalyse bei der Einrichtung dezentraler Biogaslösungen. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.006secs
|