Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience
π Dependently Typed Folds for Nested Data Types
π₯ Peng Fu, Peter Selinger
π PDF
π Parameter-Independent Strategies for pMDPs via POMDPs
π₯ Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
π PDF
π TTT2 with Termination Templates for Teaching
π₯ Jonas SchΓΆpf, Christian Sternagel
π PDF
π Subspace-Invariant AC$^0$ Formulas
π₯ Benjamin Rossman
π PDF
π Goal-Oriented Conjecturing for Isabelle/HOL
π₯ Yutaka Nagashima, Julian Parsert
π PDF
π Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
π₯ Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
π PDF
π Learning Linear Temporal Properties
π₯ Daniel Neider, Ivan Gavran
π PDF
π Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
π₯ Fabian Kunze, Gert Smolka, Yannick Forster
π PDF
π Formalization of Lerch's Theorem using HOL Light
π₯ Adnan Rashid, Osman Hasan
π PDF
π Maximizing the Number of Satisfied L-clauses
π₯ Mohamed El Halaby, Areeg Abdalla
π PDF
π Specification of State and Time Constraints for Runtime Verification of Functions
π₯ Joshua Heneage Dawes, Giles Reger
π PDF
π Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
π₯ Kuldeep S. Meel
π PDF
π Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
π₯ Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
π PDF
π Dynamic Ordered Weighted Averaging Functions for Complete Lattices
π₯ Antonio Diego S. Farias, Regivan H. N. Santiago, BenjamΓn Bedregal
π PDF
π A New Style of Mathematical Proof
π₯ William M. Farmer
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Logic in Computer Science
#LogicinComputerScience
π Dependently Typed Folds for Nested Data Types
π₯ Peng Fu, Peter Selinger
π PDF
π Parameter-Independent Strategies for pMDPs via POMDPs
π₯ Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
π PDF
π TTT2 with Termination Templates for Teaching
π₯ Jonas SchΓΆpf, Christian Sternagel
π PDF
π Subspace-Invariant AC$^0$ Formulas
π₯ Benjamin Rossman
π PDF
π Goal-Oriented Conjecturing for Isabelle/HOL
π₯ Yutaka Nagashima, Julian Parsert
π PDF
π Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
π₯ Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
π PDF
π Learning Linear Temporal Properties
π₯ Daniel Neider, Ivan Gavran
π PDF
π Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
π₯ Fabian Kunze, Gert Smolka, Yannick Forster
π PDF
π Formalization of Lerch's Theorem using HOL Light
π₯ Adnan Rashid, Osman Hasan
π PDF
π Maximizing the Number of Satisfied L-clauses
π₯ Mohamed El Halaby, Areeg Abdalla
π PDF
π Specification of State and Time Constraints for Runtime Verification of Functions
π₯ Joshua Heneage Dawes, Giles Reger
π PDF
π Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
π₯ Kuldeep S. Meel
π PDF
π Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
π₯ Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
π PDF
π Dynamic Ordered Weighted Averaging Functions for Complete Lattices
π₯ Antonio Diego S. Farias, Regivan H. N. Santiago, BenjamΓn Bedregal
π PDF
π A New Style of Mathematical Proof
π₯ William M. Farmer
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience
π Hypergraph Categories
π₯ Brendan Fong, David I Spivak
π PDF
π A Credal Extension of Independent Choice Logic
π₯ Alessandro Antonucci, Alessandro Facchini
π PDF
π Universal Safety for Timed Petri Nets is PSPACE-complete
π₯ Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
π PDF
π Indexed type theories
π₯ Valery Isaev
π PDF
π Schematic Polymorphism in the Abella Proof Assistant
π₯ Gopalan Nadathur, Yuting Wang
π PDF
π Upward confluence in the interaction calculus
π₯ Anton Salikhmetov
π PDF
π PaMpeR: Proof Method Recommendation System for Isabelle/HOL
π₯ Yutaka Nagashima, Yilun He
π PDF
π Computer-aided proofs for multiparty computation with active security
π₯ Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub
π PDF
π A road to ultrafilter extensions
π₯ Jie Fan
π PDF
π Approximation Strategies for Incomplete MaxSAT
π₯ Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
π PDF
π The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic
π₯ Flavio Ferrarotti, SenΓ©n GonzΓ‘lez, Klaus-Dieter Schewe, JosΓ© MarΓa Turull-Torres
π PDF
π A Theory of Reversibility for Erlang
π₯ Ivan Lanese, Naoki Nishida, AdriΓ‘n Palacios, GermΓ‘n Vidal
π PDF
π Reasoning about Polymorphic Manifest Contracts
π₯ Taro Sekiyama, Atsushi Igarashi
π PDF
π Linear lambda-calculus and Reversible Automatic Combinators
π₯ Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
π PDF
π Boolean-like algebras of finite dimension
π₯ Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Logic in Computer Science
#LogicinComputerScience
π Hypergraph Categories
π₯ Brendan Fong, David I Spivak
π PDF
π A Credal Extension of Independent Choice Logic
π₯ Alessandro Antonucci, Alessandro Facchini
π PDF
π Universal Safety for Timed Petri Nets is PSPACE-complete
π₯ Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
π PDF
π Indexed type theories
π₯ Valery Isaev
π PDF
π Schematic Polymorphism in the Abella Proof Assistant
π₯ Gopalan Nadathur, Yuting Wang
π PDF
π Upward confluence in the interaction calculus
π₯ Anton Salikhmetov
π PDF
π PaMpeR: Proof Method Recommendation System for Isabelle/HOL
π₯ Yutaka Nagashima, Yilun He
π PDF
π Computer-aided proofs for multiparty computation with active security
π₯ Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub
π PDF
π A road to ultrafilter extensions
π₯ Jie Fan
π PDF
π Approximation Strategies for Incomplete MaxSAT
π₯ Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
π PDF
π The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic
π₯ Flavio Ferrarotti, SenΓ©n GonzΓ‘lez, Klaus-Dieter Schewe, JosΓ© MarΓa Turull-Torres
π PDF
π A Theory of Reversibility for Erlang
π₯ Ivan Lanese, Naoki Nishida, AdriΓ‘n Palacios, GermΓ‘n Vidal
π PDF
π Reasoning about Polymorphic Manifest Contracts
π₯ Taro Sekiyama, Atsushi Igarashi
π PDF
π Linear lambda-calculus and Reversible Automatic Combinators
π₯ Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
π PDF
π Boolean-like algebras of finite dimension
π₯ Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
5 of Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience
π Banach-Mazur Parity Games and Almost-sure Winning Strategies
π₯ Youssouf Oualhadj, LΓ©o Tible, Daniele Varacca
π PDF
π Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+
π₯ Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou
π PDF
π Linear Tree Constraints
π₯ Sabine Bauer, Martin Hofmann
π PDF
π The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
π₯ Robin Hirsch, Brett McLean
π PDF
π Quantifier Elimination for Database Driven Verification
π₯ Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Logic in Computer Science
#LogicinComputerScience
π Banach-Mazur Parity Games and Almost-sure Winning Strategies
π₯ Youssouf Oualhadj, LΓ©o Tible, Daniele Varacca
π PDF
π Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+
π₯ Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou
π PDF
π Linear Tree Constraints
π₯ Sabine Bauer, Martin Hofmann
π PDF
π The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
π₯ Robin Hirsch, Brett McLean
π PDF
π Quantifier Elimination for Database Driven Verification
π₯ Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
5 of Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience
π Logical rules as fractions and logics as sketches
π₯ Dominique Duval
π PDF
π A complete system of deduction for Sigma formulas
π₯ Andre Kornell
π PDF
π Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
π₯ FrΓ©dΓ©ric Blanqui, Giselle Reis
π PDF
π Markov Logic Networks with Statistical Quantifiers
π₯ VΓctor GutiΓ©rrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
π PDF
π On Runtime Enforcement via Suppressions
π₯ Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Logic in Computer Science
#LogicinComputerScience
π Logical rules as fractions and logics as sketches
π₯ Dominique Duval
π PDF
π A complete system of deduction for Sigma formulas
π₯ Andre Kornell
π PDF
π Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
π₯ FrΓ©dΓ©ric Blanqui, Giselle Reis
π PDF
π Markov Logic Networks with Statistical Quantifiers
π₯ VΓctor GutiΓ©rrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
π PDF
π On Runtime Enforcement via Suppressions
π₯ Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience
π Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
π₯ Robert Atkey, Sam Lindley
π PDF
π A Formal Approach to Open Multiparty Interactions
π₯ Chiara Bodei, Linda Brodo, Roberto Bruni
π PDF
π Petri Net Reductions for Counting Markings
π₯ Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
π PDF
π Scaling-Up Reasoning and Advanced Analytics on BigData
π₯ Tyson Condie, Ariyam Das, Matteo Interlandi, Alexander Shkapsky, Mohan Yang, Carlo Zaniolo
π PDF
π Coalgebraic Tools for Randomness-Conserving Protocols
π₯ Dexter Kozen, Matvey Soloviev
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Logic in Computer Science
#LogicinComputerScience
π Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
π₯ Robert Atkey, Sam Lindley
π PDF
π A Formal Approach to Open Multiparty Interactions
π₯ Chiara Bodei, Linda Brodo, Roberto Bruni
π PDF
π Petri Net Reductions for Counting Markings
π₯ Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
π PDF
π Scaling-Up Reasoning and Advanced Analytics on BigData
π₯ Tyson Condie, Ariyam Das, Matteo Interlandi, Alexander Shkapsky, Mohan Yang, Carlo Zaniolo
π PDF
π Coalgebraic Tools for Randomness-Conserving Protocols
π₯ Dexter Kozen, Matvey Soloviev
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience
π Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
π₯ Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
π PDF
π Undecidability of MSO+"ultimately periodic"
π₯ MikoΕaj BojaΕczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith
π PDF
π Simulation Algorithms for Symbolic Automata (Technical Report)
π₯ LukΓ‘Ε‘ HolΓk, OndΕej LengΓ‘l, Juraj SΓΔ, Margus Veanes, TomΓ‘Ε‘ Vojnar
π PDF
π Generating an ATL Model Checker using an Attribute Grammar
π₯ Florin Stoica, Laura Florentina Stoica
π PDF
π Robust Monitoring of Linear Temporal Properties
π₯ Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Logic in Computer Science
#LogicinComputerScience
π Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
π₯ Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
π PDF
π Undecidability of MSO+"ultimately periodic"
π₯ MikoΕaj BojaΕczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith
π PDF
π Simulation Algorithms for Symbolic Automata (Technical Report)
π₯ LukΓ‘Ε‘ HolΓk, OndΕej LengΓ‘l, Juraj SΓΔ, Margus Veanes, TomΓ‘Ε‘ Vojnar
π PDF
π Generating an ATL Model Checker using an Attribute Grammar
π₯ Florin Stoica, Laura Florentina Stoica
π PDF
π Robust Monitoring of Linear Temporal Properties
π₯ Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π Structured Parallel Programming Language Based on True Concurrency
π₯ Yong Wang
π PDF
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Finite Relation Algebras with Normal Representations
π₯ Manuel Bodirsky
π PDF
π Bisimulation as path type for guarded recursive types
π₯ Rasmus Ejlers MΓΈgelberg, NiccolΓ² Veltri
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Logic in Computer Science
#LogicinComputerScience
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π Structured Parallel Programming Language Based on True Concurrency
π₯ Yong Wang
π PDF
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Finite Relation Algebras with Normal Representations
π₯ Manuel Bodirsky
π PDF
π Bisimulation as path type for guarded recursive types
π₯ Rasmus Ejlers MΓΈgelberg, NiccolΓ² Veltri
π PDF
#LogicinComputerScience
AI Python & arXiv Channel