المؤلفون: S Akshay, Paul Gastin, R Govind, B Srivathsan

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

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

وصف الملف: electronic resource

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

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

المؤلفون: Frédéric Herbreteau, B Srivathsan

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

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

وصف الملف: electronic resource

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

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

المؤلفون: B Srivathsan

المصدر: ACM SIGLOG News. 9:6-28

مصطلحات موضوعية: Microbiology (medical), Immunology, Immunology and Allergy

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e97b9085bcf98642bc48b6e2907867b7
https://doi.org/10.1145/3559736.3559738

المؤلفون: S. Sangeetha, B Srivathsan, Dinesh C, Rahul Gunaseelan, Saideepika G, Srinivasan K

المصدر: 2023 International Conference on Intelligent Systems for Communication, IoT and Security (ICISCoIS).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::fcdfed9081e84bc164f8aff9c0eda9c3
https://doi.org/10.1109/iciscois56541.2023.10100557

المؤلفون: B Srivathsan, Patricia Bouyer, Frédéric Herbreteau, Paul Gastin, Ocan Sankur

المصدر: Lecture Notes in Computer Science ISBN: 9783031158384

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1b3f3283af13e1e413a077acd79e1572
https://doi.org/10.1007/978-3-031-15839-1_2

المؤلفون: Igor Walukiewicz, B. Srivathsan, Thanh-Tung Tran, Frédéric Herbreteau

المساهمون: 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-18-CE40-0015,TickTac,Techniques et outils efficaces pour la vérification et synthèse des systèmes temps-réels(2018), Chennai Mathematical Institute [Inde], This work has been supported by project AVeRTS - CEFIPRA - Indo-French Program in ICST - DST/CNRS ref. 218093. Author B. Srivathsan is partially funded by a grant from Infosys Foundation.

المصدر: ACM Transactions on Computational Logic
ACM Transactions on Computational Logic, Association for Computing Machinery, 2020, ⟨10.1145/3372310⟩
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, Dec 2016, Chennai, India. pp.48:1-48:14, ⟨10.4230/LIPIcs.FSTTCS.2016.48⟩

مصطلحات موضوعية: state subsumption, Property (philosophy), Theoretical computer science, TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, General Computer Science, Logic, Reachability problem, Computer science, Liveness, Timed automaton, model-checking, liveness invariant, 0102 computer and information sciences, 02 engineering and technology, algorithms, 01 natural sciences, Theoretical Computer Science, Algorithmics, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Timed automata, 060201 languages & linguistics, 000 Computer science, knowledge, general works, liveness verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 020207 software engineering, 06 humanities and the arts, Automaton, Computational Mathematics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, 0602 languages and literature, Computer Science, Standard algorithms, 020201 artificial intelligence & image processing, State (computer science), complexity, Computer Science::Formal Languages and Automata Theory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e276382d3d609fe3186c197bd5184702
https://hal.archives-ouvertes.fr/hal-03023737/file/ToCL-liveness-final-submission.pdf

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Gimbert, H., Paul, S., B Srivathsan

المساهمون: 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), Centre National de la Recherche Scientifique (CNRS), Chennai Mathematical Institute [Inde], Gimbert, Hugo

المصدر: AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent SystemsMay 2020
AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent SystemsMay 2020, May 2020, Auckland, Australia
Scopus-Elsevier

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science::Computer Science and Game Theory, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], ComputingMilieux_PERSONALCOMPUTING, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO] Computer Science [cs], Non-cooperative game theory, Logic in Computer Science (cs.LO), Computer Science - Computer Science and Game Theory, extensive form games, polynomial optimization, [INFO.INFO-GT] Computer Science [cs]/Computer Science and Game Theory [cs.GT], [INFO]Computer Science [cs], first order theory of reals, Bridge, complexity, Computer Science and Game Theory (cs.GT)

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

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

المؤلفون: Sayan Mukherjee, B. Srivathsan, Paul Gastin

المصدر: Computer Aided Verification ISBN: 9783030255398
CAV (1)

مصطلحات موضوعية: 050101 languages & linguistics, Theoretical computer science, Computer science, 05 social sciences, Diagonal, 02 engineering and technology, Automaton, Reachability, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Enumeration, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Computer Science::Formal Languages and Automata Theory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::389b5778165cef8adfdc51d5c522dd9d
https://doi.org/10.1007/978-3-030-25540-4_3

المؤلفون: Igor Walukiewicz, B. Srivathsan

المصدر: Information Processing Letters. 112:612-616

مصطلحات موضوعية: Discrete mathematics, Combinatorics, Simply typed lambda calculus, Direct method, Semantics of logic, Signal Processing, Theory of computation, Compactness theorem, Gödel's completeness theorem, Computer Science Applications, Information Systems, Theoretical Computer Science, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3f871abbe276f8d19848d7df52bb5eea
https://doi.org/10.1016/j.ipl.2012.04.014