Search the dblp DataBase
Staffan Bonnier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Staffan Bonnier, Jonas Wallgren
Logic Programs with Polymorphic Types: A condition for static type checking. [Citation Graph (0, 0)][DBLP]
CTRS, 1992, pp:438-447 [Conf] - Staffan Bonnier, Jan Maluszynski
Towards a Clean Amalgamation of Logic Programs with External Procedures. [Citation Graph (0, 0)][DBLP]
ICLP/SLP, 1988, pp:311-326 [Conf] - Staffan Bonnier
Unification in Incompletely Specified Theories: A Case Study. [Citation Graph (0, 0)][DBLP]
MFCS, 1991, pp:84-92 [Conf] - Staffan Bonnier, Jan Maluszynski
Towards a Clean Amalgamation of Logic Programs with External Procedures. [Citation Graph (0, 0)][DBLP]
PLILP, 1988, pp:20-34 [Conf] - Staffan Bonnier, Tim Heyer
COMPASS: A Comprehensible Assertion Method. [Citation Graph (0, 0)][DBLP]
TAPSOFT, 1997, pp:803-817 [Conf] - Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund
A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1991, v:40, n:2, pp:73-78 [Journal] - Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski
Logic Programming with External Procedures: Introducing S-Unification. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1988, v:27, n:3, pp:159-165 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002