The following pages link to Martin Wirsing (Q541294):
Displayed 48 items.
- (Q3871894) (← links)
- (Q3875322) (← links)
- (Q3883462) (← links)
- (Q3886833) (← links)
- (Q3911230) (← links)
- (Q3912001) (← links)
- (Q3912057) (← links)
- Small Universal Post Systems (Q3919694) (← links)
- (Q3939217) (← links)
- (Q3954805) (← links)
- (Q3954806) (← links)
- (Q3960110) (← links)
- (Q3999578) (← links)
- (Q4035653) (← links)
- Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen (Q4182709) (← links)
- (Q4190110) (← links)
- (Q4192046) (← links)
- An attempt for a mathematical foundation and evaluation of MACS, a method for multidimensional automatical cluster detection (Q4192826) (← links)
- (Q4194409) (← links)
- (Q4357065) (← links)
- (Q4385454) (← links)
- (Q4385539) (← links)
- (Q4413609) (← links)
- (Q4417820) (← links)
- (Q4430297) (← links)
- (Q4471724) (← links)
- (Q4702598) (← links)
- (Q4711833) (← links)
- (Q4743723) (← links)
- (Q4746772) (← links)
- (Q4840948) (← links)
- (Q4842536) (← links)
- A Calculus of Higher-Order Parameterization for Algebraic Specifications (Q4847374) (← links)
- (Q4941939) (← links)
- Proof systems for structured algebraic specifications: An overview (Q5055918) (← links)
- Assembly Theories for Communication-Safe Component Systems (Q5170748) (← links)
- Which Soft Constraints do you Prefer? (Q5179139) (← links)
- Algebraic Methodology and Software Technology (Q5312986) (← links)
- Global Computing (Q5464839) (← links)
- Service Specification and Matchmaking Using Description Logic (Q5505438) (← links)
- Adapting Proofs-as-Programs (Q5693641) (← links)
- Objects, Agents, and Features (Q5713983) (← links)
- Comparing goal-oriented and procedural service orchestration1 (Q5747981) (← links)
- Formal Methods for Components and Objects (Q5897131) (← links)
- Recursive equations in higher-order process calculi (Q5958778) (← links)
- Process calculi for modelling mobile, service-oriented, and collective autonomic systems (Q6199115) (← links)
- A reduction-based cut-free Gentzen calculus for dynamic epistemic logic (Q6200762) (← links)
- A modular bisimulation characterisation for fragments of hybrid logic (Q6464766) (← links)