المؤلفون: Frank, Drewes, Jérôme, Leroux

المصدر: Logical Methods in Computer Science, Volume 11, Issue 4 (December 22, 2015) lmcs:1616

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1510.08331

المؤلفون: jerome, leroux

المصدر: Logical Methods in Computer Science, Volume 6, Issue 3 (September 9, 2010) lmcs:1024

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.1

URL الوصول: http://arxiv.org/abs/1009.1076

المؤلفون: Jérôme Leroux

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2db2756eb42891420bb4a0300e71188f
http://arxiv.org/abs/2109.15171

المؤلفون: Jérôme Leroux

المساهمون: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), ANR-17-CE40-0028,BRAVAS,IDEAL-BASED ALGORITHMS FOR VASSES AND WELL-STRUCTURED SYSTEMS(2017)

المصدر: Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency-42nd International Conference, {PETRI} {NETS} 2021
Application and Theory of Petri Nets and Concurrency-42nd International Conference, 2021, Jun 2021, Virtual Event, France. ⟨10.1007/978-3-030-76983-3_2⟩
Application and Theory of Petri Nets and Concurrency ISBN: 9783030769826
Petri Nets

مصطلحات موضوعية: Sequence, Flat Systems, Theoretical computer science, Reachability problem, Computer science, Existential quantification, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Petri net, 16. Peace & justice, Formal methods, 01 natural sciences, Formal Methods, 010201 computation theory & mathematics, Reachability, [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Petri Nets, Representation (mathematics), Presburger Arithmetic, Presburger arithmetic, Computer Science::Formal Languages and Automata Theory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4679535103ca02db3d1e2780c253a636
https://hal.archives-ouvertes.fr/hal-03436231

المؤلفون: Aliénor Goubault-Larrecq, Nathanaël Fijalkow, Jérôme Leroux, Pierre Ohlmann, Ashwani Anand

المساهمون: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Géosciences Rennes (GR), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire des Sciences de l'Univers de Rennes (OSUR), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut national des sciences de l'Univers (INSU - CNRS)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire des Sciences de l'Univers de Rennes (OSUR)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP)

المصدر: International Symposium on Games, Automata, Logics, and Formal Verification, GandALF
International Symposium on Games, Automata, Logics, and Formal Verification, GandALF, 2021, NA, Italy
GandALF

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science::Computer Science and Game Theory, Computer Science - Logic in Computer Science, Matching (graph theory), Computer science, 0102 computer and information sciences, Computational Complexity (cs.CC), 01 natural sciences, Computer Science - Computer Science and Game Theory, [INFO]Computer Science [cs], 0101 mathematics, ComputingMilieux_MISCELLANEOUS, 010102 general mathematics, Mean payoff, TheoryofComputation_GENERAL, Construct (python library), Logic in Computer Science (cs.LO), Automaton, Computer Science - Computational Complexity, 010201 computation theory & mathematics, State (computer science), Parity (mathematics), Algorithm, Computer Science::Formal Languages and Automata Theory, Computer Science and Game Theory (cs.GT), conference

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d4a8014a3538dc21c21af605a9abf68
https://hal.archives-ouvertes.fr/hal-03410670

المؤلفون: Jérôme Leroux

المصدر: Logical Methods in Computer Science, Vol Volume 9, Issue 1 (2013)

مصطلحات موضوعية: computer science - logic in computer science, f.3.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/881/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/00b69258672340448d2b7bb82951cfeb

المؤلفون: Alexander Heussner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre

المصدر: Logical Methods in Computer Science, Vol Volume 8, Issue 3 (2012)

مصطلحات موضوعية: computer science - logic in computer science, computer science - formal languages and automata theory, d.2.4, f.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/921/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/a539d43393d14da4abdf4428503e967f

المؤلفون: Dominik Velan, Antonín Kučera, Jérôme Leroux

المساهمون: Leroux, Jérôme, IDEAL-BASED ALGORITHMS FOR VASSES AND WELL-STRUCTURED SYSTEMS - - BRAVAS2017 - ANR-17-CE40-0028 - AAPG2017 - VALID, Masaryk University [Brno] (MUNI), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), ANR-17-CE40-0028,BRAVAS,IDEAL-BASED ALGORITHMS FOR VASSES AND WELL-STRUCTURED SYSTEMS(2017)

المصدر: LICS
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.676-688

مصطلحات موضوعية: Discrete mathematics, Normalization property, Generator (computer programming), Computation, Grzegorczyk hierarchy, 0102 computer and information sciences, 02 engineering and technology, Function (mathematics), [INFO] Computer Science [cs], 01 natural sciences, Decidability, Vector Addition Systems, 010201 computation theory & mathematics, Bounded function, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], 020201 artificial intelligence & image processing, Time complexity, ComputingMilieux_MISCELLANEOUS, Mathematics, Termination

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::535974488861934c2463068239639c4a
https://hal.archives-ouvertes.fr/hal-03052592

المؤلفون: Rémi Bonnet, Alain FInkel, Jérôme Leroux, Marc Zeitoun

المصدر: Logical Methods in Computer Science, Vol Volume 8, Issue 2 (2012)

مصطلحات موضوعية: computer science - discrete mathematics, computer science - formal languages and automata theory, f.1.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/870/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/96d85c86d0ea476494c14d3533919bea

المؤلفون: Jérôme Leroux, Matthias Englert, Juliusz Straszyński, Piotr Hofman, Sławomir Lasota, Ranko Lazić

المساهمون: Department of Computer Science [Warwick], University of Warwick [Coventry], Faculty of Mathematics, Informatics, and Mechanics [Warsaw] (MIMUW), University of Warsaw (UW), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), ANR-17-CE40-0028,BRAVAS,IDEAL-BASED ALGORITHMS FOR VASSES AND WELL-STRUCTURED SYSTEMS(2017)

المصدر: Information Processing Letters
Information Processing Letters, Elsevier, 2021, 167, pp.106079. ⟨10.1016/j.ipl.2020.106079⟩

مصطلحات موضوعية: TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Upper and lower bounds, QA76, Theoretical Computer Science, pushdown vector addition systems, Combinatorics, one-counter machines, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, context-free grammars, [INFO]Computer Science [cs], PSPACE, Mathematics, Vector addition, reachability problem, Computer Science Applications, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Coverability problem, 010201 computation theory & mathematics, Signal Processing, coverability problem, 020201 artificial intelligence & image processing, Computer Science::Formal Languages and Automata Theory, Information Systems

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d41c589d934772097670f32ca6d0d4d2
https://doi.org/10.1016/j.ipl.2020.106079