Search Results - "Logical Methods in Computer Science"

Logical Methods in Computer Science

Authors: Raven Beutner Bernd Finkbeiner

Source: Logical Methods in Computer Science

Logical Methods in Computer Science – Erfahrungsbericht über die Gründung einer internationalen Open-Access-Zeitschrift

Authors: Thomas, Wolfgang Milius, Stefan

Index Terms: wissenschaftsgeleitet, Informatik, wissenschaftliche Zeitschrift, Diamond Open Access, scholar-led, Computer Science, scholarly journal, Proceedings, 020 Bibliotheks- und Informationswissenschaften, ddc:020, article, doc-type:article, publishedVersion

URL: http://edoc.hu-berlin.de/18452/29008

Logical Methods in Computer Science – Erfahrungsbericht über die Gründung einer internationalen Open-Access-Zeitschrift

Authors: Wolfgang Thomas Stefan Milius

Source: Library Ideas, Vol 44 (2023)

Subject Terms: wissenschaftsgeleitet, informatik, wissenschaftliche zeitschrift, diamond open access, scholar-led, computer science, scholarly journal, proceedings, Bibliography. Library science. Information resources

File Description: electronic resource

Relation: https://libreas.eu/ausgabe44/milius-thomas/; https://doaj.org/toc/1860-7950

Access URL: https://doaj.org/article/ff0052c0da984c5181e93a45b83a1bb2

Logical Methods in Computer Science – Erfahrungsbericht über die Gründung einer internationalen Open-Access-Zeitschrift

Authors: Thomas, Wolfgang Milius, Stefan

Source: Thomas, Wolfgang, Milius, Stefan: Logical Methods in Computer Science – Erfahrungsbericht über die Gründung einer internationalen Open-Access-Zeitschrift; LIBREAS. Library ideas, Berlin: Institut für Bibliotheks- und Informationswissenschaft der Humboldt Universität zu Berlin 2024.

Subject Terms: Buch- und Bibliothekswesen, Informationswissenschaft

File Description: image/jpeg; application/pdf

Availability: https://digital.zlb.de/viewer/resolver?urn=urn:nbn:de:kobv:11-110-18452/29008-1

Special issue of Logical Methods in Computer Science dedicated to selected papers of LICS 2015 and LICS 2016

Authors: Palamidessi, Catuscia Silva, Alexandra Shankar, Natarajan et al.

Contributors: Palamidessi, Catuscia Silva, Alexandra Shankar, Natarajan et al.

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Access URL: https://inria.hal.science/hal-01995888v1

Logical Methods in Computer Science. Das Overlay-Konzept als Betriebsmodell für Diamond-OA-Zeitschriften

Authors: Milius, Stefan

Subject Terms: Open Access

Logical Methods in Computer Science

Authors: Barcelo-Baeza, Pablo

Source: Logical Methods in Computer Science
Conicyt_qa
ANID
instacron:ANID

Access URL: https://repositorio-qa.anid.cl/handle/10533/215463

International Colloquium of Automata, Languages and Programming: Preface to the 'Logical Methods in Computer Science', special issue for ICALP 2006

Authors: Bugliesi, Michele Sassone, Vladimiro

File Description: text

Access URL: https://eprints.soton.ac.uk/268593/

Selected Papers of the Conference 'International Colloquium on Automata, Languages and Programming 2008' (ICALP). Special issue of Logical Methods in Computer Science

Authors: Castagna, Giuseppe Walukiewicz, Igor

Contributors: Castagna, Giuseppe Walukiewicz, Igor

Subject Terms: [INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL]

Access URL: https://hal.science/hal-00694646v1

Logical Methods in Computer Science is launched

Authors: Peter Suber

Logical Methods in Computer Science preparing initial issues

Authors: Peter Suber

Logical Methods in Computer Science

Logical Methods in Computer Science

Subject Terms: theoretical computer science, logical methods, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/page/purpose; https://lmcs.episciences.org/; https://lmcs.episciences.org/page/authors-information

Access URL: https://doaj.org/toc/1860-5974

Logical Methods in Computer Science / Termination in Convex Sets of Distributions

Authors: Sokolova, Ana Woracek, Harald

Subject Terms: convex algebra, one-point extensions, convex powerset monad

Subject Geographic: PLUS:NW:COMPW

File Description: text/html

Relation: vignette : https://eplus.uni-salzburg.at/titlepage/urn/urn:nbn:at:at-ubs:3-11216/128; local:99144893053103331; system:AC15292944

Availability: https://doi.org/10.23638/LMCS-14(4:17)2018
https://eplus.uni-salzburg.at/doi/10.23638/LMCS-14(4:17)2018
https://resolver.obvsg.at/urn:nbn:at:at-ubs:3-11216

Logical Methods in Computer Science

Authors: Barcelo-Baeza, Pablo

Relation: instname: Conicyt; reponame: Repositorio Digital RI2.0; info:eu-repo/grantAgreement//1130104; info:eu-repo/semantics/dataset/hdl.handle.net/10533/93477; https://arxiv.org/abs/1507.07911; 1130104; https://hdl.handle.net/10533/215463

Availability: https://hdl.handle.net/10533/215463

First-order and temporal logics for nested words ; LOGICAL METHODS IN COMPUTER SCIENCE

Authors: Soto, C. Concha, J. Zuniga, M. E.

Subject Geographic: OXFORD

Relation: instname: Conicyt; reponame: Repositorio Digital RI2.0; info:eu-repo/grantAgreement/Fondecyt/1050701; info:eu-repo/semantics/dataset/hdl.handle.net/10533/93477; https://doi.org/10.1016/j.procbio.2008.02.006; 1050701; WOS:000256569600015; https://hdl.handle.net/10533/139611

Availability: https://hdl.handle.net/10533/139611

First-order and temporal logics for nested words ; LOGICAL METHODS IN COMPUTER SCIENCE

Authors: Alur, Rajeev Arenas, Marcelo Barcelo, Pablo et al.

Subject Geographic: BRAUNSCHWEIG

Relation: instname: Conicyt; reponame: Repositorio Digital RI2.0; info:eu-repo/grantAgreement/Fondecyt/1070732; info:eu-repo/semantics/dataset/hdl.handle.net/10533/93477; 1070732; WOS:000268642100011; https://hdl.handle.net/10533/140885

Availability: https://hdl.handle.net/10533/140885

Logical Methods in Computer Science

Authors: When Is A Container A Comonad et al.

Contributors: When Is A Container A Comonad et al.

Source: http://homepages.inf.ed.ac.uk/s1225336/papers/fossacs12-lmcs.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.8872

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.8872
http://homepages.inf.ed.ac.uk/s1225336/papers/fossacs12-lmcs.pdf

Logical Methods in Computer Science

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://hal.inria.fr/docs/00/87/81/08/PDF/1305.5239.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.594.1140; http://hal.inria.fr/docs/00/87/81/08/PDF/1305.5239.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.594.1140
http://hal.inria.fr/docs/00/87/81/08/PDF/1305.5239.pdf

Logical Methods in Computer Science

Authors: Non-deterministic Kleene Coalgebras Alexandra Silva A Marcello Bonsangue B et al.

Contributors: Non-deterministic Kleene Coalgebras Alexandra Silva A Marcello Bonsangue B et al.

Source: http://homepages.cwi.nl/~janr/papers/files-of-papers/2010-LMCS-non-deterministic kleene coalgebra.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.4559

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.4559
http://homepages.cwi.nl/~janr/papers/files-of-papers/2010-LMCS-non-deterministic kleene coalgebra.pdf