Jonathan Stillman
Orcid: 0000-0002-4783-3830
According to our database1,
Jonathan Stillman
authored at least 12 papers
between 1988 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
0
1
2
3
4
3
1
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
CoRR, 2013
BMC Bioinform., 2013
1995
1994
Proceedings of the Electronic Commerce, 1994
1993
SIGART Bull., 1993
1992
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
1991
1990
It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
1989
Proceedings of the UAI '89: Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence, 1989
It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates a Crossed Pair.
Proceedings of the STACS 89, 1989
1988
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988