Author:
Giacobazzi Roberto,Ranzato Francesco
Subject
General Computer Science,Theoretical Computer Science
Reference64 articles.
1. Quantales, observational logic and process semantics;Abramsky;Math. Struct. Comput. Sci.,1993
2. An introduction to inductive definitions;Aczel,1977
3. Introduction to logic programming;Apt,1990
4. Two classes of Boolean functions for dependency analysis;Armstrong;Sci. Comput. Program.,1998
5. A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages;Bagnara;Sci. Comput. Program.,1998
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献