journal of functional programming (27)
logical methods in computer science (11)
european spine journal (5)
computer science logic (4)
entcs: electronic notes in theoretical computer science (4)
typed lambda calculi and applications (4)
electronic notes in theoretical computer science (3)
fundamenta informaticae (3)
ieee transactions on circuits & systems part i: fundamental theory & applications (3)
theoretical computer science (3)
acm sigplan notices (2)
archives of computational methods in engineering (2)
intermetallics (2)
mathematical structures in computer science (2)
rairo - theoretical informatics and applications (2)
science of computer programming (2)
zeitschrift fur das gesamte kreditwesen (2)
2013 ieee 19th real-time & embedded technology & applications symposium (rtas) (1)
2013 ieee 19th real-time and embedded technology and applications symposium (rtas), real-time and embedded technology and applications symposium (rtas), 2013 ieee 19th (1)
2014 ieee international symposium on performance analysis of systems & software (ispass) (1)
2014 ieee international symposium on performance analysis of systems and software (ispass), performance analysis of systems and software (ispass), 2014 ieee international symposium on (1)
2015 ieee/acm international conference on computer-aided design (iccad) (1)
2015 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2015 ieee/acm international conference on (1)
2019 34th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2019 34th annual acm/ieee symposium on (1)
2020 ieee international symposium on performance analysis of systems and software (ispass), performance analysis of systems and software (ispass), 2020 ieee international symposium on, ispass (1)
2023 ieee international symposium on workload characterization (iiswc), workload characterization (iiswc), 2023 ieee international symposium on, iiswc (1)
2024 ieee international symposium on performance analysis of systems and software (ispass), performance analysis of systems and software (ispass), 2024 ieee international symposium on, ispass (1)
22nd annual ieee symposium on logic in computer science (lics 2007), logic in computer science, 2007. lics 2007. 22nd annual ieee symposium on (1)
acm / sigplan notices (1)
archives of computational methods in engineering: state of the art reviews (1)
coalgebraic methods in computer science (9783319403694) (1)
computer science - theory & applications (1)
computer science logic (9783540454588) (1)
computer science logic (9783540875307) (1)
computer science logic (9783642040269) (1)
concur 2013 - concurrency theory (1)
foundations of software science & computational structures (9783642198045) (1)
frontiers of combining systems (9783540290513) (1)
functional & logic programming (9783540789680) (1)
hardware & software: verification & testing: 9th international haifa verification conference, hvc 2013, haifa, israel, november 5-7, 2013, proceedings (1)
journal of alloys & compounds (1)
journal of alloys and compounds (1)
logic for programming, artificial intelligence & reasoning (9783540894384) (1)
mathematics of program construction (9783540356318) (1)
mathematics of program construction (9783540705932) (1)
nasa formal methods (9783319406473) (1)
nonlinear dynamics of electronic systems - proceedings of the ieee workshop (1)
proceedings of the 2005 acm sigplan workshop: haskell (1)
proceedings of the 40th annual acm sigplan-sigact symposium principles of programming languages (1)
typed lambda calculi & applications (9783540732273) (1)