Jonas Barklund
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Construction of natural cycletrees Information Processing Letters | 2016-05-26 | Paper |
| Reflection principles in computational logic Journal Of Logic And Computation | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1107527 (Why is no real title available?) | 1998-01-21 | Paper |
| scientific article; zbMATH DE number 970730 (Why is no real title available?) | 1997-06-22 | Paper |
| Hierarchical representation of legal knowledge with metaprogramming in logic The Journal of Logic Programming | 1995-01-02 | Paper |
| Bounded quantifications for iteration and concurrency in logic programming New Generation Computing | 1994-05-18 | Paper |
| scientific article; zbMATH DE number 516984 (Why is no real title available?) | 1994-03-17 | Paper |
| scientific article; zbMATH DE number 512900 (Why is no real title available?) | 1994-03-10 | Paper |
Research outcomes over time
This page was built for person: Jonas Barklund
