Matches in SemOpenAlex for { <https://semopenalex.org/work/W2883179964> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2883179964 abstract "Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We show that it is more feasible under the assumption that there is at least one diminishing resource, that is, a resource which is consumed by every action." @default.
- W2883179964 created "2018-08-03" @default.
- W2883179964 creator A5052831741 @default.
- W2883179964 creator A5064693586 @default.
- W2883179964 date "2018-07-15" @default.
- W2883179964 modified "2023-09-30" @default.
- W2883179964 title "Resource logics with a diminishing resource: extended abstract" @default.
- W2883179964 hasPublicationYear "2018" @default.
- W2883179964 type Work @default.
- W2883179964 sameAs 2883179964 @default.
- W2883179964 citedByCount "0" @default.
- W2883179964 crossrefType "journal-article" @default.
- W2883179964 hasAuthorship W2883179964A5052831741 @default.
- W2883179964 hasAuthorship W2883179964A5064693586 @default.
- W2883179964 hasConcept C144024400 @default.
- W2883179964 hasConcept C153269930 @default.
- W2883179964 hasConcept C162324750 @default.
- W2883179964 hasConcept C175444787 @default.
- W2883179964 hasConcept C192034797 @default.
- W2883179964 hasConcept C206345919 @default.
- W2883179964 hasConcept C2778348673 @default.
- W2883179964 hasConcept C30772137 @default.
- W2883179964 hasConcept C31258907 @default.
- W2883179964 hasConcept C36289849 @default.
- W2883179964 hasConcept C41008148 @default.
- W2883179964 hasConcept C80444323 @default.
- W2883179964 hasConceptScore W2883179964C144024400 @default.
- W2883179964 hasConceptScore W2883179964C153269930 @default.
- W2883179964 hasConceptScore W2883179964C162324750 @default.
- W2883179964 hasConceptScore W2883179964C175444787 @default.
- W2883179964 hasConceptScore W2883179964C192034797 @default.
- W2883179964 hasConceptScore W2883179964C206345919 @default.
- W2883179964 hasConceptScore W2883179964C2778348673 @default.
- W2883179964 hasConceptScore W2883179964C30772137 @default.
- W2883179964 hasConceptScore W2883179964C31258907 @default.
- W2883179964 hasConceptScore W2883179964C36289849 @default.
- W2883179964 hasConceptScore W2883179964C41008148 @default.
- W2883179964 hasConceptScore W2883179964C80444323 @default.
- W2883179964 hasLocation W28831799641 @default.
- W2883179964 hasOpenAccess W2883179964 @default.
- W2883179964 hasPrimaryLocation W28831799641 @default.
- W2883179964 hasRelatedWork W1976090607 @default.
- W2883179964 hasRelatedWork W2071094565 @default.
- W2883179964 hasRelatedWork W2075721748 @default.
- W2883179964 hasRelatedWork W2098542244 @default.
- W2883179964 hasRelatedWork W2182946364 @default.
- W2883179964 hasRelatedWork W2769629041 @default.
- W2883179964 hasRelatedWork W2936288026 @default.
- W2883179964 hasRelatedWork W2952358274 @default.
- W2883179964 hasRelatedWork W2962692691 @default.
- W2883179964 hasRelatedWork W2963801192 @default.
- W2883179964 hasRelatedWork W2964384607 @default.
- W2883179964 hasRelatedWork W2996991938 @default.
- W2883179964 hasRelatedWork W3080370515 @default.
- W2883179964 hasRelatedWork W3122172330 @default.
- W2883179964 hasRelatedWork W3132506527 @default.
- W2883179964 hasRelatedWork W3169967185 @default.
- W2883179964 hasRelatedWork W3201871169 @default.
- W2883179964 hasRelatedWork W60637521 @default.
- W2883179964 hasRelatedWork W2550637326 @default.
- W2883179964 hasRelatedWork W2627419754 @default.
- W2883179964 isParatext "false" @default.
- W2883179964 isRetracted "false" @default.
- W2883179964 magId "2883179964" @default.
- W2883179964 workType "article" @default.