The Essence of Higher-Order Concurrent Separation Logic

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-662-54434-1_26
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Higher-Order Logic

1998English

Who's Afraid of Higher-Order Logic?

Grazer Philosophische Studien
Philosophy
1993English

Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Higher-Order Distributions for Differential Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Mechanizing Programming Logics in Higher Order Logic

1989English

HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Implementing Type Theory in Higher Order Constraint Logic Programming

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2019English

Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Essence of Conservation Forms in the Traveling Wave Solutions of Higher-Order Traffic Flow Models

Physical Review E
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy