Logical reasoning for disjoint permissions

10.1007/978-3-319-89884-1_14

Saved in:

Bibliographic Details
Main Authors:	Le X.-B., Hobor A.
Other Authors:	YALE-NUS COLLEGE
Format:	Conference or Workshop Item
Published:	Springer Verlag 2020
Subjects:	Algebra Computer programming Formal logic Separation Common resources Concurrent programming Fractional permissions Logical reasoning Rational numbers Resource sharing Separation logic Verification task Computer circuits
Online Access:	https://scholarbank.nus.edu.sg/handle/10635/175138
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-175138
record_format	dspace
spelling	sg-nus-scholar.10635-1751382020-09-09T13:52:33Z Logical reasoning for disjoint permissions Le X.-B. Hobor A. YALE-NUS COLLEGE Algebra Computer programming Formal logic Separation Common resources Concurrent programming Fractional permissions Logical reasoning Rational numbers Resource sharing Separation logic Verification task Computer circuits 10.1007/978-3-319-89884-1_14 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10801 LNCS 385-414 2020-09-09T04:13:49Z 2020-09-09T04:13:49Z 2018 Conference Paper Le X.-B., Hobor A. (2018). Logical reasoning for disjoint permissions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10801 LNCS : 385-414. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-319-89884-1_14 0302-9743 https://scholarbank.nus.edu.sg/handle/10635/175138 Springer Verlag Unpaywall 20200831
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Algebra Computer programming Formal logic Separation Common resources Concurrent programming Fractional permissions Logical reasoning Rational numbers Resource sharing Separation logic Verification task Computer circuits
spellingShingle	Algebra Computer programming Formal logic Separation Common resources Concurrent programming Fractional permissions Logical reasoning Rational numbers Resource sharing Separation logic Verification task Computer circuits Le X.-B. Hobor A. Logical reasoning for disjoint permissions
description	10.1007/978-3-319-89884-1_14
author2	YALE-NUS COLLEGE
author_facet	YALE-NUS COLLEGE Le X.-B. Hobor A.
format	Conference or Workshop Item
author	Le X.-B. Hobor A.
author_sort	Le X.-B.
title	Logical reasoning for disjoint permissions
title_short	Logical reasoning for disjoint permissions
title_full	Logical reasoning for disjoint permissions
title_fullStr	Logical reasoning for disjoint permissions
title_full_unstemmed	Logical reasoning for disjoint permissions
title_sort	logical reasoning for disjoint permissions
publisher	Springer Verlag
publishDate	2020
url	https://scholarbank.nus.edu.sg/handle/10635/175138
_version_	1681101878852583424

Logical reasoning for disjoint permissions

Similar Items