scientific article; zbMATH DE number 3990910
From MaRDI portal
Publication:3753522
zbMATH Open0612.68083MaRDI QIDQ3753522FDOQ3753522
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
- The intentionality of formal systems
- [[:Publication:4549385|Title not available (Why is that?)]]
- [[:Publication:4287515|Title not available (Why is that?)]]
- [[:Publication:4256316|Title not available (Why is that?)]]
- Foundations for structuring behavioural specifications
- Views on behaviour protocols and their semantic foundation
- Formalization of communication and behaviour in object-oriented analysis
- The semantics of behavior
- [[:Publication:4842536|Title not available (Why is that?)]]
extensional formalizationontological difference between goal and resultpurposeful behaviour formalization
Philosophical and critical aspects of logic and foundations (03A05) General theory of mathematical modeling (00A71) Artificial intelligence (68T99)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3753522)
