Logical Methods in Computer Science
| Format: | journal |
|---|---|
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2004
|
| Subjects: | |
| Online Access: | https://doaj.org/toc/1860-5974 |
| id |
oai:doaj.org-journal:00cf9ec0afd04cbaa36d5997c06f8edc |
|---|---|
| record_format |
dspace |
| spelling |
oai:doaj.org-journal:00cf9ec0afd04cbaa36d5997c06f8edc2023-05-11T13:07:35ZLogical Methods in Computer Science1860-5974https://doaj.org/toc/1860-5974ENCC BYLogical Methods in Computer Science e.V.https://lmcs.episciences.org/page/purposehttps://lmcs.episciences.org/page/authors-informationhttps://lmcs.episciences.org/2004-09-24T15:36:18Zjournaltheoretical computer sciencelogical methodsLogicBC1-199Electronic computers. Computer scienceQA75.5-76.95 |
| institution |
DOAJ |
| collection |
DSpace |
| language |
English |
| topic |
theoretical computer science logical methods Logic BC1-199 Electronic computers. Computer science QA75.5-76.95 |
| spellingShingle |
theoretical computer science logical methods Logic BC1-199 Electronic computers. Computer science QA75.5-76.95 Logical Methods in Computer Science |
| format |
journal |
| title |
Logical Methods in Computer Science |
| title_short |
Logical Methods in Computer Science |
| title_full |
Logical Methods in Computer Science |
| title_fullStr |
Logical Methods in Computer Science |
| title_full_unstemmed |
Logical Methods in Computer Science |
| title_sort |
logical methods in computer science |
| publisher |
Logical Methods in Computer Science e.V. |
| publishDate |
2004 |
| url |
https://doaj.org/toc/1860-5974 |
| _version_ |
1801185056424722432 |