Jimmi S. Pettersson
According to our database1,
Jimmi S. Pettersson
authored at least 4 papers
between 1991 and 1995.
Collaborative distances:
Collaborative distances:
Timeline
1991
1992
1993
1994
1995
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
1994
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994
1993
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993
1991
Inf. Process. Lett., 1991