share record
persistent URL:
Tarmo Uustalu , Niccolò Veltri , Noam Zeilberger : Eilenberg-Kelly Reloaded. MFPS 2020 : 233-256 share record
persistent URL:
Niels F. W. Voorneveld : Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices. MFPS 2020 : 257-281 share record
persistent URL:
Andreea Beica , Jérôme Feret , Tatjana Petrov : Tropical Abstraction of Biochemical Reaction Networks with Guarantees. SASB 2020 : 3-32 share record
persistent URL:
Pierre Boutillier , Aurélie Faure de Pebeyre , Jérôme Feret : Proving the Absence of Unbounded Polymers in Rule-based Models. SASB 2020 : 33-56 share record
persistent URL:
Xinwei Chai , Tony Ribeiro , Morgan Magnin , Olivier F. Roux , Katsumi Inoue : Static Analysis and Stochastic Search for Reachability Problem. SASB 2020 : 139-158 share record
persistent URL:
Ankit Gupta , Tatjana Petrov : Preface. SASB 2020 : 1-2 share record
persistent URL:
Matej Hajnal , Samuel Pastva : Toward Model Selection by Formal Methods. SASB 2020 : 57-71 share record
persistent URL:
Hans-Michael Kaltenbach : A Unified View on Bipartite Species-reaction Graphs and Their Relation to Interaction Graphs and Qualitative Dynamics of Chemical Reaction Networks. SASB 2020 : 73-90 share record
persistent URL:
Matej Troják , David Safránek , Lubos Brim , Jakub Salagovic , Jan Cervený : Executable Biochemical Space for Specification and Analysis of Biochemical Systems. SASB 2020 : 91-116 share record
persistent URL:
Thomas Wright , Ian Stark : Modelling Patterns of Gene Regulation in the bond-calculus. SASB 2020 : 117-138 share record
persistent URL:
Héctor Cancela , Gabriela Marín , Vladimir Villarreal : XLV Latin American Computer Conference - Selected Papers, CLEI 2019 Selected Papers, Panama, September 30 - October 4, 2019. Electronic Notes in Theoretical Computer Science 349, Elsevier 2020 [contents] share record
persistent URL:
Pilar Pozos Parra , José Raymundo Marcial-Romero : Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2018, Puebla, Mexico, November 15, 2018 & LANMR 2019, Puebla, Mexico, November 15, 2019. Electronic Notes in Theoretical Computer Science 354, Elsevier 2020 [contents] share record
persistent URL:
Amy P. Felty , João Marcos : Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019. Electronic Notes in Theoretical Computer Science 348, Elsevier 2020 [contents] share record
persistent URL:
Cláudia Nalon , Giselle Reis : Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020. Electronic Notes in Theoretical Computer Science 351, Elsevier 2020 [contents] share record
persistent URL:
Patricia Johann : Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020. Electronic Notes in Theoretical Computer Science 352, Elsevier 2020 [contents] share record
persistent URL:
Matthew Forshaw , Marco Gribaudo , William J. Knottenbelt , Nigel Thomas : Tenth International Workshop on the Practical Application of Stochastic Modelling, PASM 2019, Milan, Italy, November 2019. Electronic Notes in Theoretical Computer Science 353, Elsevier 2020 [contents] share record
persistent URL:
Guido Sanguinetti , David Safránek : Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016. Electronic Notes in Theoretical Computer Science 335, Elsevier 2020 [contents] share record
persistent URL:
Ankit Gupta , Tatjana Petrov : Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Electronic Notes in Theoretical Computer Science 350, Elsevier 2020 [contents] 2019 share record
persistent URL:
Mauricio Osorio , José Luis Carballido Carranza : An Extension of the Stable Semantics via Lukasiewicz Logic. LANMR (Selected Papers) 2019 : 141-155 share record
persistent URL:
Mauricio Osorio , Claudia Zepeda : Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts. LANMR (Selected Papers) 2019 : 157-170 share record
persistent URL:
Everardo Bárcenas , José de Jesús Lavalle-Martínez , Guillermo Molero-Castillo , Alejandro Velázquez-Mena : A Note on Constructive Interpolation for the Multi-Modal Logic K m . LANMR (Selected Papers) 2019 : 3-16 export record
dblp key:
conf/lanmr/Castro-Manzano19a share record
persistent URL:
José Martín Castro-Manzano : Murphree's Numerical Term Logic Tableaux. LANMR (Selected Papers) 2019 : 17-28 share record
persistent URL:
Flavio Everardo , Mauricio Osorio : Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version. LANMR (Selected Papers) 2019 : 29-44 export record
dblp key:
conf/lanmr/Hernandez-Tello19a share record
persistent URL:
Alejandro Hernández-Tello , Verónica Borja Macías , Marcelo E. Coniglio : Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case. LANMR (Selected Papers) 2019 : 61-74 export record
dblp key:
conf/lanmr/Lopez-RamirezGL19 share record
persistent URL:
Cristina López-Ramírez , Jorge Eduardo Gutiérrez-Gómez , Guillermo De Ita Luna : Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs. LANMR (Selected Papers) 2019 : 75-89 share record
persistent URL:
Guillermo De Ita Luna , Cristina López-Ramírez , Ana E. De Ita-Varela , Jorge Eduardo Gutiérrez-Gómez : A Heuristic for the Coloring of Planar Graphs. LANMR (Selected Papers) 2019 : 91-105 export record
dblp key:
conf/lanmr/Miranda-PereaGL19a share record
persistent URL:
Favio Ezequiel Miranda-Perea , Lourdes Del Carmen González-Huesca , P. Selene Linares-Arévalo : On Interactive Proof-Search for Constructive Modal Necessity. LANMR (Selected Papers) 2019 : 107-127 share record
persistent URL:
María Auxilio Medina Nieto , Delia Arrieta Díaz , Jorge de la Calleja Mora , Laura Zacatzontetl Hernández , Marilú Zacatelco Pérez : An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository. LANMR (Selected Papers) 2019 : 129-139 share record
persistent URL:
Pilar Pozos Parra , José Raymundo Marcial-Romero : Preface. LANMR (Selected Papers) 2019 : 1-2 share record
persistent URL:
Angélica Guzmán Ponce , José Raymundo Marcial-Romero , Rosa María Valdovinos Rosas , J. Salvador Sánchez : Weighted Complete Graphs for Condensing Data. LANMR (Selected Papers) 2019 : 45-60