Results 241 to 250 of about 1,319,448 (268)
Some of the next articles are maybe not open access.
Compositional Weak Metrics for Group Key Update
International Symposium on Mathematical Foundations of Computer Science, 2017R. Lanotte, Massimo Merro, S. Tini
semanticscholar +1 more source
Presenting Morphisms of Distributive Laws
Conference on Algebra and Coalgebra in Computer Science, 2015Bartek Klin, Beata Nachyla
semanticscholar +1 more source
Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited Talk)
International Conference on Formal Structures for Computation and Deduction, 2017G. Moser
semanticscholar +1 more source
Modules Over Monads and Their Algebras
Conference on Algebra and Coalgebra in Computer Science, 2015Maciej Piróg, Nicolas Wu, J. Gibbons
semanticscholar +1 more source
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact)
Dagstuhl Artifacts Ser., 2015Changhee Park, Sukyoung Ryu
semanticscholar +1 more source
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes
Conference on Algebra and Coalgebra in Computer Science, 2015A. Kurz +4 more
semanticscholar +1 more source
ChemInform Abstract: Synthese und Untersuchung von Derivaten des Benzofuro[3.2‐f]phthalazins.
, 1984 Henriette Landelle +2 more
openalex +1 more source