theoretical aspects of computing - ictac 2005 (40)
theoretical computer science (23)
java kompakt (14)
adapting proofs-as-programs (12)
international journal on software tools for technology transfer (10)
acta informatica (9)
science of computer programming (6)
lisp and symbolic computation (4)
manuscripta mathematica (4)
archiv fur mathematische logik und grundlagenforschung (3)
electronic notes in theoretical computer science (3)
logic journal of the igpl (3)
i-com (2)
international journal of software & informatics (2)
journal of logic and algebraic programming (2)
leveraging applications of formal methods, verification & validation: foundational techniques (2)
lisp & symbolic computation (2)
logic, rewriting & concurrency (2)
logic, rewriting, and concurrency (2)
science of computer programming. methods of software design: techniques and applications (2)
software & systems modeling (2)
software engineering for collective autonomic systems (2)
software-intensive systems & new computing paradigms (2)
studia logica (2)
studia logica: an international journal for symbolic logic (2)
2013 ieee 7th international conference on self-adaptation and self-organizing systems workshops, self-adaptation and self-organizing systems workshops (sasow), 2013 ieee 7th international conference on (1)
2022 ieee 42nd international conference on distributed computing systems workshops (icdcsw), distributed computing systems workshops (icdcsw), 2022 ieee 42nd international conference on, icdcsw (1)
algebraic techniques (1)
algorithmic languages (amsterdam, 1981) (1)
analysis, verification and transformation for declarative programming and intelligent systems---essays dedicated to manuel hermenegildo on the occasion of his 60th birthday (1)
automata, languages and programming (sixth colloq., graz, 1979) (1)
biometrical journal. journal of mathematical methods in biosciences (1)
bulletin of the interest group in pure and applied logics (1)
caap '81 (proc. sixth colloq., genoa, 1981) (1)
caap '83 (l'aquila, 1983) (1)
caap '88 (nancy, 1988) (1)
formal description of programming concepts (rio de janeiro, 1989) (1)
formal description of programming concepts, ii (garmisch-partenkirchen, 1982) (1)
formal models and semantics (1)
foundations of computation theory (borgholm, 1983) (1)
from software engineering to formal methods and tools, and back (1)
frontiers of combining systems (munich, 1996) (1)
fundamentals of computation theory (cottbus, 1985) (1)
fundamentals of computation theory (krakow, 1997) (1)
handbook of theoretical computer science, vol.\ b (1)
information processing letters (1)
international symposium on programming (turin, 1982) (1)
journal of logic & algebraic programming (1)
proceedings of the second international conference on software engineering and formal methods, 2004. sefm 2004. (1)
software and systems modeling (1)