Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/lics/Bars02
%A Bars, Jean-Marie Le
%B LICS
%D 2002
%I IEEE Computer Society
%K dblp
%P 225-234
%T The 0-1 law fails for frame satisfiability of propositional modal logic.
%U http://dblp.uni-trier.de/db/conf/lics/lics2002.html#Bars02
%@ 0-7695-1483-9
@inproceedings{conf/lics/Bars02,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Bars, Jean-Marie Le},
biburl = {https://www.bibsonomy.org/bibtex/2d77b35480f8ae9e3a4733cb2a1fdb2c0/dblp},
booktitle = {LICS},
crossref = {conf/lics/2002},
ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029831},
interhash = {471e4cd380021a13ffd06207378aef29},
intrahash = {d77b35480f8ae9e3a4733cb2a1fdb2c0},
isbn = {0-7695-1483-9},
keywords = {dblp},
pages = {225-234},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T20:01:04.000+0200},
title = {The 0-1 law fails for frame satisfiability of propositional modal logic.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2002.html#Bars02},
year = 2002
}