Title
Logical and Semantic Frameworks with Applications
Year
DOI
Venue
2019
10.1016/j.tcs.2019.05.023
Theoretical Computer Science
Field
DocType
Volume
Discrete mathematics,Logical conjunction,Theoretical computer science,Mathematics
Journal
781
ISSN
Citations 
PageRank 
0304-3975
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Vivek Nigam123826.77
René Thiemann298469.38