Add to ORKGThis volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a satellite event of CSL 2009, the 18th EACSL Annual Conference on Computer Science Logic
The 5th edition of the International Conference on Intelligent Environments was held in Castelldelfe...
Proceedings of The First Symposium on Non-Linear Analysis : CONVEXITY, CHAOS AND FRACTALS / edited b...
“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” ...
This volume contains the post-proceedings of LINEARITY 2014, the Third International Workshop on Lin...
AbstractThe field of linear logic has developed very rapidly during the last ten years. Linear logic...
International audienceThis volume contains the proceedings of the Ninth Workshop on Fixed Points in ...
This special issue of ACM Transactions on Computational Logic is devoted to papers first presented a...
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Scien...
This volume contains the proceedings of the Workshop on Logic, Models and Computer Science (LMCS’06)...
The 5th edition of the International Conference on Intelligent Environments was held in Castelldelfe...
Proceedings of The First Symposium on Non-Linear Analysis : CONVEXITY, CHAOS AND FRACTALS / edited b...
“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” ...
This volume contains the post-proceedings of LINEARITY 2014, the Third International Workshop on Lin...
AbstractThe field of linear logic has developed very rapidly during the last ten years. Linear logic...
International audienceThis volume contains the proceedings of the Ninth Workshop on Fixed Points in ...
This special issue of ACM Transactions on Computational Logic is devoted to papers first presented a...
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Scien...
This volume contains the proceedings of the Workshop on Logic, Models and Computer Science (LMCS’06)...
The 5th edition of the International Conference on Intelligent Environments was held in Castelldelfe...
Proceedings of The First Symposium on Non-Linear Analysis : CONVEXITY, CHAOS AND FRACTALS / edited b...
“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” ...