Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029453909> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2029453909 endingPage "588" @default.
- W2029453909 startingPage "581" @default.
- W2029453909 abstract "Algebraic program models with procedures are designed to analyze program semantic properties on their models called program schemes. Liberisation and equivalence problems are stated for program models with procedures. A subclass of program models with procedures called special gateway models is investigated. A better complexity algorithm for the liberisation in such models is proposed. Primitive program schemes are defined as a subclass of the special gateway models. It is shown that the equivalence problem in such models is decidable if the equivalence problem is decidable in special program models without procedures. For some cases of decidability complexity is evaluated." @default.
- W2029453909 created "2016-06-24" @default.
- W2029453909 creator A5035623595 @default.
- W2029453909 creator A5050447986 @default.
- W2029453909 date "2014-12-01" @default.
- W2029453909 modified "2023-10-05" @default.
- W2029453909 title "Equivalence problem solvability in gateway program models" @default.
- W2029453909 cites W1966571454 @default.
- W2029453909 cites W1967299392 @default.
- W2029453909 cites W2033209737 @default.
- W2029453909 cites W2049112773 @default.
- W2029453909 cites W2088459913 @default.
- W2029453909 cites W2883170870 @default.
- W2029453909 doi "https://doi.org/10.3103/s014641161407027x" @default.
- W2029453909 hasPublicationYear "2014" @default.
- W2029453909 type Work @default.
- W2029453909 sameAs 2029453909 @default.
- W2029453909 citedByCount "0" @default.
- W2029453909 crossrefType "journal-article" @default.
- W2029453909 hasAuthorship W2029453909A5035623595 @default.
- W2029453909 hasAuthorship W2029453909A5050447986 @default.
- W2029453909 hasBestOaLocation W20294539092 @default.
- W2029453909 hasConcept C118615104 @default.
- W2029453909 hasConcept C134306372 @default.
- W2029453909 hasConcept C136764020 @default.
- W2029453909 hasConcept C153269930 @default.
- W2029453909 hasConcept C154945302 @default.
- W2029453909 hasConcept C2129575 @default.
- W2029453909 hasConcept C2777710495 @default.
- W2029453909 hasConcept C2780069185 @default.
- W2029453909 hasConcept C33923547 @default.
- W2029453909 hasConcept C37926939 @default.
- W2029453909 hasConcept C41008148 @default.
- W2029453909 hasConcept C511149849 @default.
- W2029453909 hasConcept C80444323 @default.
- W2029453909 hasConcept C9376300 @default.
- W2029453909 hasConceptScore W2029453909C118615104 @default.
- W2029453909 hasConceptScore W2029453909C134306372 @default.
- W2029453909 hasConceptScore W2029453909C136764020 @default.
- W2029453909 hasConceptScore W2029453909C153269930 @default.
- W2029453909 hasConceptScore W2029453909C154945302 @default.
- W2029453909 hasConceptScore W2029453909C2129575 @default.
- W2029453909 hasConceptScore W2029453909C2777710495 @default.
- W2029453909 hasConceptScore W2029453909C2780069185 @default.
- W2029453909 hasConceptScore W2029453909C33923547 @default.
- W2029453909 hasConceptScore W2029453909C37926939 @default.
- W2029453909 hasConceptScore W2029453909C41008148 @default.
- W2029453909 hasConceptScore W2029453909C511149849 @default.
- W2029453909 hasConceptScore W2029453909C80444323 @default.
- W2029453909 hasConceptScore W2029453909C9376300 @default.
- W2029453909 hasIssue "7" @default.
- W2029453909 hasLocation W20294539091 @default.
- W2029453909 hasLocation W20294539092 @default.
- W2029453909 hasOpenAccess W2029453909 @default.
- W2029453909 hasPrimaryLocation W20294539091 @default.
- W2029453909 hasRelatedWork W137742456 @default.
- W2029453909 hasRelatedWork W1984301931 @default.
- W2029453909 hasRelatedWork W1985873105 @default.
- W2029453909 hasRelatedWork W1998954878 @default.
- W2029453909 hasRelatedWork W2029453909 @default.
- W2029453909 hasRelatedWork W2034160064 @default.
- W2029453909 hasRelatedWork W2147410603 @default.
- W2029453909 hasRelatedWork W2153273838 @default.
- W2029453909 hasRelatedWork W2996512746 @default.
- W2029453909 hasRelatedWork W4317837918 @default.
- W2029453909 hasVolume "48" @default.
- W2029453909 isParatext "false" @default.
- W2029453909 isRetracted "false" @default.
- W2029453909 magId "2029453909" @default.
- W2029453909 workType "article" @default.