pith. sign in

Jan A. Bergstra

Identifiers

  • name variant Jan A. Bergstra 0.60 · backfill

Papers (45)

  1. Fracterm Calculus for Partial Meadows cs.LO · 2025 · author #1
  2. Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers cs.PL · 2019 · author #1
  3. Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant cs.LO · 2018 · author #1
  4. Universality of Univariate Mixed Fractions in Divisive Meadows math.RA · 2017 · author #1
  5. Equational Axioms for Expected Value Operators math.LO · 2016 · author #1
  6. Subvarieties of the variety of meadows math.RA · 2015 · author #1
  7. Meadow based Fracterm Theory math.HO · 2015 · author #1
  8. A negative result on algebraic specifications of the meadow of rational numbers math.RA · 2015 · author #1
  9. Poly-infix operators and operator families math.HO · 2015 · author #1
  10. Evaluation trees for proposition algebra cs.LO · 2015 · author #1
  11. Architectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money cs.CY · 2015 · author #1
  12. Personal Multi-threading cs.OH · 2014 · author #1
  13. Fracpairs and fractions over a reduced commutative ring math.RA · 2014 · author #1
  14. Note on paraconsistency and reasoning about fractions cs.LO · 2014 · author #1
  15. Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals cs.LO · 2014 · author #1
  16. Bitcoin: a Money-like Informational Commodity cs.CY · 2014 · author #1
  17. Promises, Impositions, and other Directionals cs.MA · 2014 · author #1
  18. Equations for formally real meadows math.RA · 2013 · author #1
  19. Probability functions in the context of signed involutive meadows math.LO · 2013 · author #1
  20. Decision Taking versus Promise Issuing cs.SE · 2013 · author #1
  21. Questions related to Bitcoin and other Informational Money cs.CY · 2013 · author #1
  22. Bitcoin and Beyond: Exclusively Informational Monies cs.CY · 2013 · author #1
  23. Informaticology: combining Computer Science, Data Science, and Fiction Science cs.SE · 2012 · author #1
  24. Decision Taking for Selling Thread Startup cs.SE · 2012 · author #1
  25. Decision Taking versus Action Determination cs.SE · 2012 · author #1
  26. Decision Taking as a Service cs.SE · 2012 · author #1
  27. Four Conceptions of Instruction Sequence Faults cs.SE · 2012 · author #1
  28. Putting Instruction Sequences into Effect cs.PL · 2011 · author #1
  29. On Hoare-McCarthy algebras cs.LO · 2010 · author #1
  30. Short-circuit logic cs.LO · 2010 · author #1
  31. Informal Control code logic cs.SE · 2010 · author #1
  32. Formaleuros, Formalbitcoins, and Virtual Monies cs.CY · 2010 · author #1
  33. On the contribution of backward jumps to instruction sequence expressiveness cs.LO · 2010 · author #1
  34. A progression ring for interfaces of instruction sequences, threads, and services cs.PL · 2009 · author #1
  35. Straight-line instruction sequence completeness for total calculation on cancellation meadows cs.LO · 2009 · author #1
  36. An Instruction Sequence Semigroup with Involutive Anti-Automorphisms cs.PL · 2009 · author #1
  37. Square root meadows cs.LO · 2009 · author #1
  38. A static theory of promises cs.MA · 2008 · author #1
  39. Periodic Single-Pass Instruction Sequences cs.PL · 2008 · author #1
  40. Mechanistic Behavior of Single-Pass Instruction Sequences cs.PL · 2008 · author #1
  41. Differential Meadows math.RA · 2008 · author #1
  42. Cancellation Meadows: a Generic Basis Theorem and Some Applications math.RA · 2008 · author #1
  43. Towards a formalization of budgets cs.LO · 2008 · author #1
  44. Interface groups and financial transfer architectures cs.SE · 2007 · author #1
  45. Projection semantics for rigid loops cs.PL · 2007 · author #1

Mentions

  • 1406.3280 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1402.4778 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1401.3381 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1310.5011 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1307.5173 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1306.6412 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1305.5956 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1304.4758 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1210.6636 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1208.2460 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1205.6177 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1205.4194 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1204.1881 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1110.1866 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1012.5059 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1010.3674 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1009.2902 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1008.0616 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 1005.5662 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0909.2839 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0905.4612 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0903.1352 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0901.4664 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0810.3294 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0810.1151 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0809.4635 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0804.3336 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0803.3969 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0802.3617 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0707.1639 #1 · backfill · confidence 0.70 Jan A. Bergstra
  • 0707.1059 #1 · backfill · confidence 0.70 Jan A. Bergstra

Frequent Coauthors