journal of logical and algebraic methods in programming (6)
acta informatica (4)
constraints (4)
international journal on software tools for technology transfer (4)
computer music journal (3)
constraints: an international journal (3)
gynecological endocrinology (3)
multiparadigm programming in mozart/oz (3)
theoretical computer science (3)
constraints. an international journal (2)
entcs: electronic notes in theoretical computer science (2)
ingenieria y competitividad (2)
journal of international medical research (2)
journal of mathematics & music (2)
journal of the american college of cardiology (jacc) (2)
menopause (10723714) (2)
rec: cardioclinics (2)
theory and practice of logic programming (2)
2011 6th colombian computing congress (ccc), computing congress (ccc), 2011 6th colombian (1)
2014 14th international conference on application of concurrency to system design (1)
2014 14th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2014 14th international conference on (1)
2015 15th international conference on application of concurrency to system design (1)
2015 15th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2015 15th international conference on (1)
30th international conference on concurrency theory (1)
abstract state machines, alloy, b & z (1)
abstraction, reformulation & approximation (1)
electronic notes in theoretical computer science (1)
journal of mathematics \& music. mathematical and computational approaches to music theory, analysis, composition and performance (1)
journal of mathematics and music (1)
journal of the american college of cardiology (1)
logic programming (9783540366355) (1)
logic programming (9783642028458) (1)
mathematical structures in computer science (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
mathematics & computation in music: 5th international conference, mcm 2015, london, uk, june 22-25, 2015, proceedings (1)
menopause (1)
objects, models, components, patterns (9783642305603) (1)
principles & practice of constraint programming - cp 2004 (1)
proceedings of the 14th symposium principles & practice of declarative programming (1)
proceedings of the 27th annual acm symposium applied computing (1)
relational and algebraic methods in computer science (1)
teaching formal methods (1)
the art of modelling computational systems---a journey from logic and concurrency to security and privacy (1)
theoretical aspects of computing - ictac 2016 (1)
theoretical aspects of computing---ictac 2016 (1)
theory & practice of logic programming (1)