Ina Kraan
According to our database1,
Ina Kraan
authored at least 10 papers
between 1991 and 1997.
Collaborative distances:
Collaborative distances:
Timeline
1991
1992
1993
1994
1995
1996
1997
0
1
2
3
1
1
2
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1997
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997
1996
1995
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995
Proceedings of the Proceedings KBSE'95, 1995
1994
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1993
Proceedings of the 7th International Workshop on Software Specification and Design, 1993
Middle-Out Reasoning for Logic Program Synthesis.
Proceedings of the Logic Programming, 1993
1992
Proceedings of the Logic Program Synthesis and Transformation, 1992
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
1991
Proceedings of the Logic Program Synthesis and Transformation, 1991