Search Results - TARLECKI, ANDRZEJ

Refine Results
  1. 1
    ON THE FRAGILITY OF INTERPOLATION

    ON THE FRAGILITY OF INTERPOLATION by TARLECKI, ANDRZEJ

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    CASL: the Common Algebraic Specification Language

    CASL: the Common Algebraic Specification Language by Astesiano, Egidio, Bidoit, Michel, Kirchner, Hélène, Krieg-Brückner, Bernd, Mosses, Peter D., Sannella, Donald, Tarlecki, Andrzej

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Władysław Marek Turski (1938–2013)

    Władysław Marek Turski (1938–2013) by Tarlecki, Andrzej

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Władysław Marek Turski (1938–2013)

    Władysław Marek Turski (1938–2013) by Tarlecki, Andrzej

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Wadysaw Marek Turski (1938-2013)

    Wadysaw Marek Turski (1938-2013) by Tarlecki, Andrzej

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Răzvan Diaconescu, Institution-independent Model Theory

    Răzvan Diaconescu, Institution-independent Model Theory by Tarlecki, Andrzej

    Published in Studia logica
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Property-oriented semantics of structured specifications

    Property-oriented semantics of structured specifications by SANNELLA, DONALD, TARLECKI, ANDRZEJ

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Specification refinements: Calculi, tools, and applications

    Specification refinements: Calculi, tools, and applications by Codescu, Mihai, Mossakowski, Till, Sannella, Donald, Tarlecki, Andrzej

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    The Institution-Theoretic Scope of Logic Theorems

    The Institution-Theoretic Scope of Logic Theorems by Diaconescu, Răzvan, Mossakowski, Till, Tarlecki, Andrzej

    Published in Logica universalis
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Preface

    Preface by Arge, Lars, Cachin, Christian, Tarlecki, Andrzej

    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    PII: S0020-0190(04)00044-4

    PII: S0020-0190(04)00044-4 by Tarlecki, Andrzej

    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    What is a Logic Translation?

    What is a Logic Translation? by Mossakowski, Till, Diaconescu, Răzvan, Tarlecki, Andrzej

    Published in Logica universalis
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Observational interpretation of Casl specifications

    Observational interpretation of Casl specifications by BIDOIT, MICHEL, SANNELLA, DONALD, TARLECKI, ANDRZEJ

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Architectural specifications in CASL

    Architectural specifications in CASL by BIDOIT, Michel, SANNELLA, Donald, TARLECKI, Andrzei

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Amalgamation in the semantics of CASL

    Amalgamation in the semantics of CASL by SCHRÖDER, Lutz, MOSSAKOWSKI, Till, TARIECKI, Andrzej, KLIN, Bartek, HOFFMAN, Piotr

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Amalgamation in the semantics of C ASL

    Amalgamation in the semantics of C ASL by Schröder, Lutz, Mossakowski, Till, Tarlecki, Andrzej, Klin, Bartek, Hoffman, Piotr

    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Essential concepts of algebraic specification and program development

    Essential concepts of algebraic specification and program development by SANNELLA, D, TARLECKI, A

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    The definition of Extended ML: A gentle introduction

    The definition of Extended ML: A gentle introduction by Kahrs, Stefan, Sannella, Donald, Tarlecki, Andrzej

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    PII: S0020-0190(03)00391-0

    PII: S0020-0190(03)00391-0 by Fiadeiro, José Luiz, Madey, Jan, Tarlecki, Andrzej

    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Dagstuhl Manifesto

    Dagstuhl Manifesto by Redaktion

    Published in Informatik-Spektrum
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: