Site is currently under maintenance

Some features may be unavailable or limited during this time. We apologize for any inconvenience and appreciate your patience.

Published on 01 January 2014

Resource Logics - Proof Theoretical Investigations

Roorda, Dirk

Ph.D thesis in Mathematical Logic. Linear Logic, Modal Logic, Lambek Calculus

https://doi.org/10.54310/elpis.2022.1.8
OpenAlex
Cited on 07 December 2022
Weight: 1.73
https://doi.org/10.48550/arxiv.cs/0608033
OpenAlex
Cited on 21 March 2022
Weight: 1.73
https://doi.org/10.48550/arxiv.cmp-lg/9404009
OpenAlex
Cited on 20 March 2022
Weight: 1.73
https://doi.org/10.48550/arxiv.1203.4912
OpenAlex
Cited on 12 March 2022
Weight: 1.73
https://doi.org/10.48456/tr-346
OpenAlex
Cited on 12 April 2021
Weight: 1.69
https://doi.org/10.18653/v1/2020.conll-1.3
OpenAlex
Cited on 01 January 2020
Weight: 1.64
https://doi.org/10.1007/s10849-019-09288-1
OpenAlex
Cited on 27 March 2019
Weight: 1.59
https://doi.org/10.1184/r1/6587498.v1
OpenAlex
Cited on 30 June 2018
Weight: 1.53
https://doi.org/10.1007/s10849-018-9269-3
OpenAlex
Cited on 15 May 2018
Weight: 1.53
https://doi.org/10.1515/9789400601833-007
OpenAlex
Cited on 31 December 2014
Weight: 1.00

No mentions found

It looks like this dataset has not been mentioned in any sources.

Dataset Index

37.6

FAIR Score

13%

Citations

106

Mentions

DOI

Publisher

figshare

Subfield

Computer Networks and Communications

Field

Computer Science

Domain

Physical Sciences

Confidence Score

91%

Source

Open Alex

Computation Theory and MathematicsFOS: Computer and information sciences

13.46

CTw

1.00

MTw

1.00