We stand with Ukraine  

Jay Halcomb

According to our database1, Jay Halcomb authored at least 2 papers between 2001 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Inconsistencies in the Process Specification Language (PSL).
[BibTeX]
[DOI]
Michael Beeson
,
Jay Halcomb
,
Wolfgang Mayer
Proceedings of the First Workshop on Automated Theory Engineering, 2011

2001
On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming).
[BibTeX]
[DOI]
Jay Halcomb
,
Adam Pease
Proceedings of the Answer Set Programming, 2001


  Loading...