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	Nadif, Mohamed (ed.)
1	Näher, Stefan (ed.)
1	Namjoshi, Kedar S. (ed.)
1	Napoli, Amedeo (ed.)
1	Nardi, D. (ed.)
2	Narendran, Paliath
1	Narendran, Paliath (ed.)
1	Naumann, Stefan
1	Nau, Dana (ed.)
2	Nebel, Bernhard
1	Nebel, Bernhard Nebel (ed.)
5	Nebel, Bernhard (ed.)
1	Nebel, B. (ed.)
1	Nejdl, W. (ed.)
1	Neuman, B. (ed.)
1	Ng, Raymond (ed.)
4	Niehren, Joachim
1	Nielsen, Mogen (ed.)
3	Nielsen, Mogens (ed.)
		1998	[Abdelwaheb, Ayari] [Basin, David A.] Podelski, Andreas	Nielsen, Mogens Thomas, Wolfgang		LISA: A Specification Language Based on WS2S In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34	Proceedings Article
		1995	Baumeister, Hubert	Mosses, Peter D. Nielsen, Mogens Schwartzbach, Michael I.		Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development (TAPSOFT '95), 756-771	Proceedings Article
		1995	Krishna Rao, M. R. K.	[Mosses, Peter] [Nielsen, Mogens] [Schwartzbach, Michael]		Semi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development, 379-393	Proceedings Article
1	Nielsen, Thomas D. (ed.)
1	Nielson, Flemming
1	Niemelä, Ilkka (ed.)
6	Nieuwenhuis, Robert
4	Nieuwenhuis, Robert (ed.)
9	Nipkow, Tobias (ed.)
1	Nivat, Maurice
2	Nivat, Maurice (ed.)

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