Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
Saved in:
| Published in: | Logical Methods in Computer Science |
|---|---|
| Format: | Online Article RSS Article |
| Published: |
2026
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1868553613842841603 |
|---|---|
| collection | WordPress RSS FRELIP Feed Integration |
| container_title | Logical Methods in Computer Science |
| description | |
| discipline_display | Computer Sciience |
| discipline_facet | Computer Sciience |
| format | Online Article RSS Article |
| genre | Journal Article |
| id | rss_article:77762 |
| institution | FRELIP |
| journal_source_facet | Logical Methods in Computer Science |
| last_indexed | 2026-06-20T21:39:49.249Z |
| publishDate | 2026 |
| publishDateSort | 2026 |
| record_format | rss_article |
| spellingShingle | Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic Computer Sciience General Computer Sciience |
| sub_discipline_display | General |
| sub_discipline_facet | General |
| subject_display | Computer Sciience General Computer Sciience |
| subject_facet | Computer Sciience General Computer Sciience |
| title | Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic |
| title_alt | Codificación de la Aritmética de Peano en un Fragmento Mínimo de Lógica de Separación Encodage de l'arithmétique de Peano dans un fragment minimal de la logique de séparation Codificando Aritmética de Peano em um Fragmento Mínimo de Lógica de Separação |
| title_auth | Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic |
| title_es_txt | Codificación de la Aritmética de Peano en un Fragmento Mínimo de Lógica de Separación |
| title_fr_txt | Encodage de l'arithmétique de Peano dans un fragment minimal de la logique de séparation |
| title_full | Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic |
| title_fullStr | Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic |
| title_full_unstemmed | Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic |
| title_pt_txt | Codificando Aritmética de Peano em um Fragmento Mínimo de Lógica de Separação |
| title_short | Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic |
| title_sort | encoding peano arithmetic in a minimal fragment of separation logic |
| topic | Computer Sciience General Computer Sciience |
| url | https://doi.org/10.46298/lmcs-22(2:22)2026 |