Jael Kriener

According to our database1, Jael Kriener authored at least 7 papers between 2011 and 2014.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Semantics for Prolog with Cut - Revisited.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

2013
Proofs you can believe in: proving equivalences between Prolog semantics in Coq.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012
Mutual Exclusion by Interpolation.
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011
RedAlert: Determinacy inference for Prolog.
TPLP, 2011

Correct Reasoning about Logic Programs.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Existential Quantification as Incremental SAT.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011


  Loading...