The SCEAS System
| ||||

## Journals and Conferences that author prefersCorrado Böhm:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Journals- Inf. Comput. (2 paper(s))
- Theor. Comput. Sci. (2 paper(s))
- Commun. ACM (1 paper(s))
- Fundam. Inform. (1 paper(s))
- Inf. Process. Lett. (1 paper(s))
- J. Symb. Log. (1 paper(s))
## Conferences- International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
- Conference for Computer Science Logic (CSL) (2 paper(s))
- European Symposium on Programming (ESOP) (2 paper(s))
- Logic in Computer Science (LICS) (2 paper(s))
- Foundations of Logic and Functional Programming (1 paper(s))
- Lambda-Calculus (1 paper(s))
- ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
- Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
- Symposium on Programming (1 paper(s))
- Rewriting Techniques and Applications (RTA) (1 paper(s))
- TAPSOFT (1 paper(s))
| ||||

| ||||

| ||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |