We are currently experiencing cases of mixed-up (and therefore incorrect) metadata for some newly indexed journal issues. We are aware of the problem and we are working on a fix. Thanks for understanding and we apologize for the inconvenience.
17. LPAR 2010:
Yogyakarta, Indonesia
share record
short URL:
https://dblp.org/rec/conf/lpar/2010y Christian G. Fermüller ,
Andrei Voronkov :
Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Lecture Notes in Computer Science 6397,
Springer 2010 , ISBN
978-3-642-16241-1 share record
short URL:
https://dblp.org/rec/conf/lpar/ChatterjeeD10 share record
short URL:
https://dblp.org/rec/conf/lpar/Halpern10 share record
short URL:
https://dblp.org/rec/conf/lpar/Maher10 share record
short URL:
https://dblp.org/rec/conf/lpar/Preining10 share record
short URL:
https://dblp.org/rec/conf/lpar/AlendaO10 share record
short URL:
https://dblp.org/rec/conf/lpar/AxelssonHKLL10 share record
short URL:
https://dblp.org/rec/conf/lpar/BaaderLL10 share record
short URL:
https://dblp.org/rec/conf/lpar/BaaderM10 share record
short URL:
https://dblp.org/rec/conf/lpar/BanbaraMTI10 share record
short URL:
https://dblp.org/rec/conf/lpar/BlanchetteC10 share record
short URL:
https://dblp.org/rec/conf/lpar/BonfanteM10 export record
dblp key:
conf/lpar/Brock-NannestadS10 share record
short URL:
https://dblp.org/rec/conf/lpar/Brock-NannestadS10 share record
short URL:
https://dblp.org/rec/conf/lpar/Brunnler10 Kai Brünnler :
How to Universally Close the Existential Rule. 172-186 share record
short URL:
https://dblp.org/rec/conf/lpar/CharatonikW10 share record
short URL:
https://dblp.org/rec/conf/lpar/Chaudhuri10 Kaustuv Chaudhuri :
Magically Constraining the Inverse Method Using Dynamic Polarity Assignment. 202-216 share record
short URL:
https://dblp.org/rec/conf/lpar/CodishFGS10 share record
short URL:
https://dblp.org/rec/conf/lpar/CondottaKMS10 share record
short URL:
https://dblp.org/rec/conf/lpar/DavidLT10 share record
short URL:
https://dblp.org/rec/conf/lpar/DawsonG10 share record
short URL:
https://dblp.org/rec/conf/lpar/DengG10 share record
short URL:
https://dblp.org/rec/conf/lpar/FerrariFF10 share record
short URL:
https://dblp.org/rec/conf/lpar/FietzkeHW10 share record
short URL:
https://dblp.org/rec/conf/lpar/GiordanoGOP10 share record
short URL:
https://dblp.org/rec/conf/lpar/GregoireS10 share record
short URL:
https://dblp.org/rec/conf/lpar/HenzingerHKR10 share record
short URL:
https://dblp.org/rec/conf/lpar/HeuleJB10 share record
short URL:
https://dblp.org/rec/conf/lpar/HyvarinenJN10 share record
short URL:
https://dblp.org/rec/conf/lpar/JouannaudM10 share record
short URL:
https://dblp.org/rec/conf/lpar/JovanovicB10 share record
short URL:
https://dblp.org/rec/conf/lpar/KaminskiS10 share record
short URL:
https://dblp.org/rec/conf/lpar/KlinovPP10 export record
dblp key:
conf/lpar/KolokolovaLMT10 share record
short URL:
https://dblp.org/rec/conf/lpar/KolokolovaLMT10 share record
short URL:
https://dblp.org/rec/conf/lpar/KorovinS10 share record
short URL:
https://dblp.org/rec/conf/lpar/AudemardLMS10 share record
short URL:
https://dblp.org/rec/conf/lpar/KroeningLR10 share record
short URL:
https://dblp.org/rec/conf/lpar/MantadelisJ10 share record
short URL:
https://dblp.org/rec/conf/lpar/HolldoblerMS10 share record
short URL:
https://dblp.org/rec/conf/lpar/McKinley10 Richard McKinley :
Expansion Nets: Proof-Nets for Propositional Classical Logic. 535-549 share record
short URL:
https://dblp.org/rec/conf/lpar/NeurauterZM10 export record
dblp key:
conf/lpar/PapapanagiotouF10 share record
short URL:
https://dblp.org/rec/conf/lpar/PapapanagiotouF10 share record
short URL:
https://dblp.org/rec/conf/lpar/ReussS10 share record
short URL:
https://dblp.org/rec/conf/lpar/RochaM10 share record
short URL:
https://dblp.org/rec/conf/lpar/TasharrofiT10 share record
short URL:
https://dblp.org/rec/conf/lpar/TeigeF10 share record
short URL:
https://dblp.org/rec/conf/lpar/VeanesBM10
maintained by
at