The SCEAS System
| ||||

## Journals and Conferences that author prefersRoel C. de Vrijer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Journals- Inf. Comput. (2 paper(s))
- Electr. Notes Theor. Comput. Sci. (1 paper(s))
- Inf. Process. Lett. (1 paper(s))
- J. Autom. Reasoning (1 paper(s))
- J. Symb. Log. (1 paper(s))
- J. Log. Comput. (1 paper(s))
- Mathematical Structures in Computer Science (1 paper(s))
- CoRR (1 paper(s))
## Conferences- (3 paper(s))
- Birthday ... (2 paper(s))
- Logic in Computer Science (LICS) (2 paper(s))
- Conditional and Typed Rewriting Systems (CTRS) (1 paper(s))
- Lambda-Calculus (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 |