Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040883471> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2040883471 endingPage "11" @default.
- W2040883471 startingPage "2" @default.
- W2040883471 abstract "A formalism for declarative specification and programming is introduced that forms a logical and methodological framework for program and system specification and construction. It combines axiomatic techniques based on logical concepts for specifying properties and the possibility to introduce names for objects. In particular it comprises within one formalism, the possibilities of formulating specifications and defining algorithms. The logical formalism is based more or less on typed predicate logic. The development rules are particular proof rules together with the inference rules of predicate logic. As a special aspect, the authors consider logical formulas which explicitly specify typed identifiers as elements of signatures. >" @default.
- W2040883471 created "2016-06-24" @default.
- W2040883471 creator A5083480819 @default.
- W2040883471 date "1991-10-25" @default.
- W2040883471 modified "2023-09-25" @default.
- W2040883471 title "Declarative specification and declarative programming" @default.
- W2040883471 cites W1511110335 @default.
- W2040883471 cites W1559314111 @default.
- W2040883471 cites W1970495662 @default.
- W2040883471 cites W2062251861 @default.
- W2040883471 cites W2103953153 @default.
- W2040883471 cites W2108911687 @default.
- W2040883471 cites W2172307690 @default.
- W2040883471 doi "https://doi.org/10.5555/952786.952788" @default.
- W2040883471 hasPublicationYear "1991" @default.
- W2040883471 type Work @default.
- W2040883471 sameAs 2040883471 @default.
- W2040883471 citedByCount "2" @default.
- W2040883471 countsByYear W20408834712019 @default.
- W2040883471 crossrefType "proceedings-article" @default.
- W2040883471 hasAuthorship W2040883471A5083480819 @default.
- W2040883471 hasConcept C102993220 @default.
- W2040883471 hasConcept C128838566 @default.
- W2040883471 hasConcept C140146324 @default.
- W2040883471 hasConcept C142362112 @default.
- W2040883471 hasConcept C146206909 @default.
- W2040883471 hasConcept C153349607 @default.
- W2040883471 hasConcept C154945302 @default.
- W2040883471 hasConcept C167729594 @default.
- W2040883471 hasConcept C19689857 @default.
- W2040883471 hasConcept C199360897 @default.
- W2040883471 hasConcept C2524010 @default.
- W2040883471 hasConcept C2776214188 @default.
- W2040883471 hasConcept C33923547 @default.
- W2040883471 hasConcept C34165917 @default.
- W2040883471 hasConcept C3746660 @default.
- W2040883471 hasConcept C41008148 @default.
- W2040883471 hasConcept C50033165 @default.
- W2040883471 hasConcept C558565934 @default.
- W2040883471 hasConcept C73301696 @default.
- W2040883471 hasConcept C80444323 @default.
- W2040883471 hasConcept C81721847 @default.
- W2040883471 hasConceptScore W2040883471C102993220 @default.
- W2040883471 hasConceptScore W2040883471C128838566 @default.
- W2040883471 hasConceptScore W2040883471C140146324 @default.
- W2040883471 hasConceptScore W2040883471C142362112 @default.
- W2040883471 hasConceptScore W2040883471C146206909 @default.
- W2040883471 hasConceptScore W2040883471C153349607 @default.
- W2040883471 hasConceptScore W2040883471C154945302 @default.
- W2040883471 hasConceptScore W2040883471C167729594 @default.
- W2040883471 hasConceptScore W2040883471C19689857 @default.
- W2040883471 hasConceptScore W2040883471C199360897 @default.
- W2040883471 hasConceptScore W2040883471C2524010 @default.
- W2040883471 hasConceptScore W2040883471C2776214188 @default.
- W2040883471 hasConceptScore W2040883471C33923547 @default.
- W2040883471 hasConceptScore W2040883471C34165917 @default.
- W2040883471 hasConceptScore W2040883471C3746660 @default.
- W2040883471 hasConceptScore W2040883471C41008148 @default.
- W2040883471 hasConceptScore W2040883471C50033165 @default.
- W2040883471 hasConceptScore W2040883471C558565934 @default.
- W2040883471 hasConceptScore W2040883471C73301696 @default.
- W2040883471 hasConceptScore W2040883471C80444323 @default.
- W2040883471 hasConceptScore W2040883471C81721847 @default.
- W2040883471 hasLocation W20408834711 @default.
- W2040883471 hasOpenAccess W2040883471 @default.
- W2040883471 hasPrimaryLocation W20408834711 @default.
- W2040883471 hasRelatedWork W1504033104 @default.
- W2040883471 hasRelatedWork W1537698905 @default.
- W2040883471 hasRelatedWork W1538326935 @default.
- W2040883471 hasRelatedWork W184987266 @default.
- W2040883471 hasRelatedWork W1979818150 @default.
- W2040883471 hasRelatedWork W2027723207 @default.
- W2040883471 hasRelatedWork W2033852084 @default.
- W2040883471 hasRelatedWork W2040807747 @default.
- W2040883471 hasRelatedWork W2048167881 @default.
- W2040883471 hasRelatedWork W2108911687 @default.
- W2040883471 hasRelatedWork W2129022555 @default.
- W2040883471 hasRelatedWork W2146412215 @default.
- W2040883471 hasRelatedWork W2159869514 @default.
- W2040883471 hasRelatedWork W248509102 @default.
- W2040883471 hasRelatedWork W2612793292 @default.
- W2040883471 hasRelatedWork W3134436023 @default.
- W2040883471 hasRelatedWork W3142498860 @default.
- W2040883471 hasRelatedWork W336329025 @default.
- W2040883471 hasRelatedWork W9251374 @default.
- W2040883471 hasRelatedWork W99817410 @default.
- W2040883471 isParatext "false" @default.
- W2040883471 isRetracted "false" @default.
- W2040883471 magId "2040883471" @default.
- W2040883471 workType "article" @default.