Resultados 1 - 10 de 552 para Búsqueda General
Mostrar solo
- Revistas arbitradas (551)
Refinado por:
Título de revista:
Journal of Logical and Algebraic Methods in Programming
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artículo
|
|
Formal definitions and proofs for partial (co)recursive functionsCheval, Horaţiu ; Nowak, David ; Rusu, VladJournal of logical and algebraic methods in programming, 2024-10, Vol.141, p.100999, Article 100999 [Revista revisada por pares]Elsevier IncTexto completo disponible |
| 2 |
Material Type: Artículo
|
|
Free Kleene algebras with domainMclean, BrettJournal of logical and algebraic methods in programming, 2019-09 [Revista revisada por pares]ElsevierTexto completo disponible |
| 3 |
Material Type: Artículo
|
|
Unification of drags and confluence of drag rewritingJouannaud, Jean-Pierre ; Orejas, FernandoJournal of logical and algebraic methods in programming, 2023-02, Vol.131, p.100845, Article 100845 [Revista revisada por pares]Elsevier IncTexto completo disponible |
| 4 |
Material Type: Artículo
|
|
(Co)inductive proof systems for compositional proofs in reachability logicRusu, Vlad ; Nowak, DavidJournal of logical and algebraic methods in programming, 2021-01, Vol.118, p.100619, Article 100619 [Revista revisada por pares]Elsevier IncTexto completo disponible |
| 5 |
Material Type: Artículo
|
|
Preface to the special issue on Open Problems in Concurrency TheoryCastellani, Ilaria ; D'Argenio, Pedro R. ; Mousavi, Mohammad Reza ; Sokolova, AnaJournal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100823, Article 100823 [Revista revisada por pares]Elsevier IncTexto completo disponible |
| 6 |
Material Type: Artículo
|
|
Simpler proofs with decentralized invariantsFilliâtre, Jean-ChristopheJournal of logical and algebraic methods in programming, 2021-06, Vol.121, p.100645, Article 100645 [Revista revisada por pares]Elsevier IncTexto completo disponible |
| 7 |
Material Type: Artículo
|
|
The PBPO graph transformation approachCorradini, Andrea ; Duval, Dominique ; Echahed, Rachid ; Prost, Frédéric ; Ribeiro, LeilaJournal of logical and algebraic methods in programming, 2019-02, Vol.103, p.213-231 [Revista revisada por pares]ElsevierTexto completo disponible |
| 8 |
Material Type: Artículo
|
|
Knowledge representation and update in hierarchies of graphsHarmer, Russ ; Oshurko, EugeniaJournal of logical and algebraic methods in programming, 2020-08, Vol.114, p.100559, Article 100559 [Revista revisada por pares]Elsevier IncTexto completo disponible |
| 9 |
Material Type: Artículo
|
|
Checking deadlock-freedom of parametric component-based systemsBozga, Marius ; Iosif, Radu ; Sifakis, JosephJournal of logical and algebraic methods in programming, 2021-02, Vol.119, p.100621, Article 100621 [Revista revisada por pares]Elsevier IncTexto completo disponible |
| 10 |
Material Type: Artículo
|
|
Relational and algebraic methods in computer scienceHöfner, Peter ; Pous, Damien ; Struth, GeorgJournal of Logical and Algebraic Methods in Programming, 2019-08, Vol.106, p.198-199 [Revista revisada por pares]ElsevierTexto completo disponible |
Resultados 1 - 10 de 552 para Búsqueda General
Personalizar los resultados
Refine Search Results
Ampliar mis resultados
Mostrar solo
- Revistas arbitradas (551)
Materia
- Computer Science (547)
- Logic (545)
- Computer Science, Theory & Methods (544)
- Science & Technology (544)
- Technology (544)
- Science & Technology - Other Topics (544)
- Concurrency (23)
- Logic In Computer Science (21)
- Maude (18)
- Model Checking (17)
- Graph Transformation (15)
- Relation Algebra (14)
- Verification (14)
- Session Types (14)
- Semantics (13)
- Programming Languages (12)
- Formal Methods (12)
- Rewriting Logic (12)
- Formal Verification (11)
- Operational Semantics (11)
-
Más opciones
Fecha de Publicación
- Antes de2015 (23)
- 2015Hasta2016 (108)
- 2017Hasta2018 (115)
- 2019Hasta2021 (163)
- Después de 2021 (144)
-
Más opciones
Base de Datos/Biblioteca
Idioma
- Japonés (11)
- Noruego (5)
-
Más opciones
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 