journal of logical and algebraic methods in programming (9)
electronic notes in theoretical computer science (5)
journal of automated reasoning (4)
entcs: electronic notes in theoretical computer science (3)
new journal of chemistry (3)
rewriting logic and its applications (3)
theoretical computer science (3)
2023 10th international and the 16th national conference on e-learning and e-teaching (icelet), e-learning and e-teaching (icelet), 2023 10th international and the 16th national conference (1)
4th international conference on formal structures for computation and deduction (1)
acs photonics (1)
analysis, verification and transformation for declarative programming and intelligent systems---essays dedicated to manuel hermenegildo on the occasion of his 60th birthday (1)
automated software engineering (1)
automated software engineering: an international journal (1)
computational science - iccs 2008 (1)
formal aspects of computing (1)
formal aspects of computing: applicable formal methods (1)
formal methods (1)
journal of logic & computation (1)
journal of logic and computation (1)
journal of universal computer science (1)
logic, rewriting & concurrency (1)
logic, rewriting, and concurrency (1)
optics express (1)
recent trends in algebraic development techniques (9783642376344) (1)
rewriting logic & its applications: 10th international workshop, wrla 2014, held as a satellite event of etaps, grenoble, france, april 5-6, 2014, revised selected papers (1)
theoretical aspects of computing - ictac 2015 (1)