Search Results - Bergstra, Jan

Refine Results
  1. 1
    Thread Algebra with Prospecting Services and Foresight Patterns

    Thread Algebra with Prospecting Services and Foresight Patterns by Bergstra, Jan

    Published in Mathematics (Basel)
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness

    On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness by Bergstra, Jan A, Tucker, John V

    Published in Computer journal
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Eager Term Rewriting For The Fracterm Calculus Of Common Meadows

    Eager Term Rewriting For The Fracterm Calculus Of Common Meadows by Bergstra, Jan A, Tucker, John V

    Published in Computer journal
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Synthetic Fracterm Calculus

    Synthetic Fracterm Calculus by Bergstra, Jan, Tucker, John V

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    A Complete Finite Axiomatisation of the Equational Theory of Common Meadows

    A Complete Finite Axiomatisation of the Equational Theory of Common Meadows by Bergstra, Jan A., Tucker, John V.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Naive Fracterm Calculus

    Naive Fracterm Calculus by Bergstra, Jan, Tucker, John V.

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Arithmetical datatypes with true fractions

    Arithmetical datatypes with true fractions by Bergstra, Jan A., Ponse, Alban

    Published in Acta informatica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Non-commutative propositional logic with short-circuit evaluation

    Non-commutative propositional logic with short-circuit evaluation by Bergstra, Jan A., Ponse, Alban, Staudt, Daan J. C.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Datatype defining rewrite systems for naturals and integers

    Datatype defining rewrite systems for naturals and integers by Jan A. Bergstra, Alban Ponse

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Cancellation Meadows: A Generic Basis Theorem and Some Applications

    Cancellation Meadows: A Generic Basis Theorem and Some Applications by Bergstra, J. A., Bethke, I., Ponse, A.

    Published in Computer journal
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Note on paraconsistency and reasoning about fractions

    Note on paraconsistency and reasoning about fractions by Bergstra, Jan A., Bethke, Inge

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    A calculus for four-valued sequential logic

    A calculus for four-valued sequential logic by Bergstra, Jan A., van de Pol, Jaco

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  13. 13
    Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero

    Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero by Bergstra, Jan A., Tucker, John V.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    On the Contribution of Backward Jumps to Instruction Sequence Expressiveness

    On the Contribution of Backward Jumps to Instruction Sequence Expressiveness by Bergstra, Jan A., Bethke, Inge

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  15. 15
    Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero: Logical models of mathematical texts: the case

    Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero: Logical models of mathematical texts: the case by Bergstra, Jan A., Tucker, John V.

    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Eager Equality for Rational Number Arithmetic

    Eager Equality for Rational Number Arithmetic by Bergstra, Jan A., Tucker, John V.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows

    Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows by Bergstra, Jan A., Bethke, Inge

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Editorial

    Editorial by Bergstra, Jan

    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Partial arithmetical data types of rational numbers and their equational specification

    Partial arithmetical data types of rational numbers and their equational specification by Bergstra, Jan A., Tucker, John V.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  20. 20
    Fracpairs and fractions over a reduced commutative ring

    Fracpairs and fractions over a reduced commutative ring by Bergstra, Jan A., Ponse, Alban

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: