Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#		Year	Author(s) [non member]	Editor(s) [non member]		Title	Type
1	Wachsmuth, Ipke (ed.)
1	Wagner, Dorothea (ed.)
6	Wagner, Silke
22	Waldmann, Uwe
1	Wallin, Annika (ed.)
6	Walsh, Toby
1	Walukiewicz, Igor
1	Wang, Dongming (ed.)
1	Wang, D. (ed.)
3	Wang, Yongge
3	Wansing, Heinrich (ed.)
2	Wansing, H. (ed.)
1	Warren, David Scott (ed.)
1	Warren, D. S. (ed.)
33	Weidenbach, Christoph
1	Weispfenning, V.
7	Werner, Andreas
		1998	[Werner, Andreas] Bockmayr, Alexander [Krischer, Stefan]			How to realize LSE narrowing In: New Generation Computing [16], 397-434	Journal Article
		1995	Bockmayr, Alexander [Krischer, Stefan] [Werner, Andreas]			Narrowing strategies for arbitrary canonical systems In: Fundamenta Informaticae [24], 125-155	Journal Article
		1995	Bockmayr, Alexander [Werner, Andreas]	Dershowitz, Nachum Lindenstrauss, Naomi		LSE narrowing for decreasing conditional term rewrite systems In: Conditional Term Rewriting Systems CTRS'94, 51-70	Proceedings Article
		1994	[Werner, Andreas] Bockmayr, Alexander [Krischer, Stefan]	Levi, Giorgio Rodríguez-Artalejo, Mario		How to realize LSE narrowing In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76	Proceedings Article
		1993	Werner, Andreas Bockmayr, Alexander Krischer, Stefan			How to Realize LSE Narrowing	Report
		1993	Werner, Andreas Bockmayr, Alexander Krischer, Stefan	Beierle, C.		A Concept for the Implementation of LSE Narrowing In: 9.~Workshop Logische Programmierung, ?	Proceedings Article
		1993	Werner, Andreas Bockmayr, Alexander Krischer, Stefan	Mück, A.		How to Realize LSE Narrowing In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-?	Proceedings Article
2	Wetzel, Susanne
30	Weydert, Emil
2	Weydert, Emil (ed.)
2	Wiedermann, Jiri (ed.)
3	Wies, Thomas
1	Williams, Denise A. (ed.)

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)