-
1Academic Journal
المؤلفون: S. Demri, D. Galmiche, D. Larchey-wendling, D. Mery
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.1462; http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DGLM-csr14.pdf
-
2Academic Journal
المؤلفون: S. Demri, A. Finkel, V. Goranko, G. Van Drimmelen
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.2536; http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DDFG-atva06.pdf
-
3Academic Journal
المؤلفون: S. Demri, R. Lazic, D. Nowak, Stéphane Demri, Ranko Lazić, David Nowak
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.5331; http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-2005-03.pdf
-
4Academic Journal
المؤلفون: S. Demri, Stephane Demri
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.5215; http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-2004-6.rr.ps
-
5Academic Journal
المؤلفون: S. Demri, H. de Nivelle
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: modal and temporal logics, intuitionistic logic, relational translation
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.7833; http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-2003-4.rr.ps
-
6Academic Journal
المؤلفون: S. Demri, D. D'Souza
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: temporal logic, logics of space and time, model-checking
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.5502; http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-2003-11.rr.ps
-
7Academic Journal
المؤلفون: Extended Abstract, S. Demri, F. Laroussinie, Ph. Schnoebelen
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.2026; http://www.lsv.ens-cachan.fr/Publis/PAPERS/DLS-stacs2002.ps
-
8Academic Journal
المؤلفون: S. Demri, F. Laroussinie, Ph. Schnoebelen
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.7061; http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-2001-4.rr.ps
-
9Academic Journal
المؤلفون: S. Demri, Ph. Schnoebelen
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.5768; http://www.lsv.ens-cachan.fr/Publis/PAPERS/DemSch-stacs98.ps
-
10Academic Journal
المؤلفون: S. Demri, Ph. Schnoebelen
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.3134; http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-1997-11.rr.ps
-
11Conference
المؤلفون: BERSANI, MARCELLO MARIA, S. Demri
المساهمون: Bersani, MARCELLO MARIA, S., Demri
Relation: info:eu-repo/semantics/altIdentifier/isbn/9783642243639; ispartofbook:Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011. Proceedings; FroCoS 2011; firstpage:71; lastpage:86; numberofpages:16; http://hdl.handle.net/11311/635444; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-80054023646
-
12Academic Journal
المؤلفون: BROCHENIN, REMI, S. Demri, E. Lozes
المساهمون: Brochenin, Remi, S., Demri, E., Lozes
مصطلحات موضوعية: SEPARATION LOGIC, MODEL CHECKING, GRAPH LOGIC, ELIMINATION, PROGRAMS, LISTS
وصف الملف: ELETTRONICO
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000300468000005; volume:211; firstpage:106; lastpage:137; numberofpages:32; journal:INFORMATION AND COMPUTATION; http://hdl.handle.net/11567/792317; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84855777556
-
13Academic Journal
المؤلفون: S. Demri, F. Laroussinie, Ph. Schnoebelen
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.1209; http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DLS-jcss-param.pdf
-
14Academic Journal
المؤلفون: F. Wolter, H. Wansing, M. De Rijke, M. Zakharyaschev, S. Demri
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.3056; http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/sd-aiml00.pdf
-
15Conference
المؤلفون: Girlando, Marianna, Negri, Sara, Olivetti, Nicola, Risch, Vincent
المساهمون: Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Helsingin yliopisto = Helsingfors universitet = University of Helsinki, L. Beklemishev, S. Demri and A. Màté
المصدر: Advances in Modal Logics 2016 ; https://hal.science/hal-01794369 ; Advances in Modal Logics 2016, L. Beklemishev, S. Demri and A. Màté, Aug 2016, Budapest, Hungary. pp.322-341
مصطلحات موضوعية: Epistemic logic, conditional logic, neighbourhood semantics, sequent calculus, decision procedure, [INFO]Computer Science [cs]
Relation: hal-01794369; https://hal.science/hal-01794369; https://hal.science/hal-01794369/document; https://hal.science/hal-01794369/file/AIML_2016.pdf
-
16Book
المؤلفون: A. Ciabattoni, F. A. Genco
المساهمون: S. Demri, L. Beklemishev, A. Mate, A. Ciabattoni, F.A. Genco
مصطلحات موضوعية: Hypersequent calculi, Intermediate logic, Proof theory, Systems of rule, Settore M-FIL/02 - Logica e Filosofia della Scienza
Relation: info:eu-repo/semantics/altIdentifier/isbn/9781848902015; ispartofbook:Advances in Modal Logic (Vol. 11); AiML Conference on Advances in Modal Logic : 30 August through 2 September; firstpage:197; lastpage:216; numberofpages:20; alleditors:S. Demri, L. Beklemishev, A. Mate; https://hdl.handle.net/2434/1036349; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85019460367
الاتاحة: https://hdl.handle.net/2434/1036349
-
17Conference
المؤلفون: Abate, Pietro, Gore, Rajeev
المساهمون: C. Areces, S. Demri
المصدر: Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007) ; http://dx.doi.org/10.1016/j.entcs.2009.02.025
مصطلحات موضوعية: Keywords: Automation, Hooks, Linguistics, Logic devices, Machinery, Semantic Web, automated deduction, Automated theorem provers, Blocking techniques, Cut and pastes, Generic frameworks, generic tableau theorem prover, Logic modules, Optimisation, Propositional log automated deduction, system description, tableaux strategies, lang, phil
جغرافية الموضوع: Cachan France
Relation: http://hdl.handle.net/1885/54837
الاتاحة: http://hdl.handle.net/1885/54837
-
18
المؤلفون: Girlando, M., Negri, S., Olivetti, N., Risch, V.
المساهمون: Laboratoire des Sciences de l'Information et des Systèmes (LSIS), Centre National de la Recherche Scientifique (CNRS)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Université de Toulon (UTLN)-Aix Marseille Université (AMU), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Helsingin yliopisto = Helsingfors universitet = University of Helsinki, L. Beklemishev, S. Demri and A. Màté, Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU), Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU), University of Helsinki, Girlando, Marianna
المصدر: Proceedings of Advances in Modal Logics
Proceedings of Advances in Modal Logics, 2016, Budapest, Hungary
Advances in Modal Logics 2016
Advances in Modal Logics 2016, L. Beklemishev, S. Demri and A. Màté, Aug 2016, Budapest, Hungary. pp.322-341مصطلحات موضوعية: [INFO] Computer Science [cs], decision procedure, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, sequent calculus, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Conditional logic, Decision procedure, Epistemic logic, Neighbourhood semantics, Sequent calculus, [INFO]Computer Science [cs], conditional logic, neighbourhood semantics, ComputingMilieux_MISCELLANEOUS
وصف الملف: application/pdf
-
19Conference
المؤلفون: BELUSSI, Alberto, COMBI, Carlo, POZZANI, Gabriele
المساهمون: S. Demri, C. S. Jensen, Belussi, Alberto, Combi, Carlo, Pozzani, Gabriele
مصطلحات موضوعية: spatial granularity, temporal granularity, spatio-temporal granularity
وصف الملف: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/isbn/9780769531816; info:eu-repo/semantics/altIdentifier/wos/WOS:000257652000007; ispartofbook:15th International Symposium on Temporal Representation and Reasoning, TIME 2008; TIME 2008; firstpage:49; lastpage:53; numberofpages:5; alleditors:S. Demri, C. S. Jensen; http://hdl.handle.net/11562/318167; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-51549119119
الاتاحة: http://hdl.handle.net/11562/318167
-
20Conference
المؤلفون: Abate, Pietro, Gore, Rajeev, Widmann, Florian
المساهمون: C. Areces, S. Demri
المصدر: Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007) ; http://dx.doi.org/10.1016/j.entcs.2009.02.025
مصطلحات موضوعية: Keywords: Decision procedure, On the flies, On-the-fly, Propositional dynamic logic, Satisfiability, Underlying graphs, Automation, Embedded systems
جغرافية الموضوع: Cachan France
Relation: Workshop on Methods for Modalities (M4M5 2007); http://hdl.handle.net/1885/54800; https://openresearch-repository.anu.edu.au/bitstream/1885/54800/5/ENTCS_an_on-the-fly.pdf.jpg; https://openresearch-repository.anu.edu.au/bitstream/1885/54800/7/01_Abate_An_on-the-fly_Tableau-based_2009.pdf.jpg
