| 6226 | On Encoding p pi in m pi (10.7146/brics.v5i26.19432) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6227 | Low Redundancy in Dictionaries with O(1) Worst Case Lookup T… (10.7146/brics.v5i28.19434) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6228 | An Operational Investigation of the CPS Hierarchy (10.7146/brics.v5i35.21957) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6229 | An Interpretation of the Fan Theorem in Type Theory (10.7146/brics.v5i39.19484) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6230 | Timed Bisimulation and Open Maps (10.7146/brics.v5i4.19277) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6231 | The Computational Strength of Extensions of Weak König’s Lem… (10.7146/brics.v5i41.19486) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6232 | Semantics, Modularity, and Rewriting Logic (10.7146/brics.v5i42.19487) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6233 | Compilation and Equivalence of Imperative Objects (Revised R… (10.7146/brics.v5i55.19500) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6234 | Finding Maximal Pairs with Bounded Gap (10.7146/brics.v6i12.20069) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6235 | Hash and Displace: Efficient Evaluation of Minimal Perfect H… (10.7146/brics.v6i13.20070) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6236 | A Semantic Account of Type-Directed Partial Evaluation (10.7146/brics.v6i17.20074) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6237 | Hereditary History Preserving Bisimilarity is Undecidable (10.7146/brics.v6i19.20076) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6238 | A Note on Spector’s Quantifier-Free Rule of Extensionality (10.7146/brics.v6i20.20077) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6239 | On the Two-Variable Fragment of the Equational Theory of the… (10.7146/brics.v6i22.20079) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6240 | Conservative Extension in Structural Operational Semantics (10.7146/brics.v6i24.20093) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6241 | Finding Maximal Quasiperiodicities in Strings (10.7146/brics.v6i25.20094) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6242 | An Expressive Extension of TLC (10.7146/brics.v6i26.20095) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6243 | Lambda-Dropping: Transforming Recursive Equations into Progr… (10.7146/brics.v6i27.20096) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6244 | A Fully Abstract Presheaf Semantics of SCCS with Finite Dela… (10.7146/brics.v6i28.20097) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6245 | Foundational and Mathematical Uses of Higher Types (10.7146/brics.v6i31.20100) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6246 | Is your Model Checker on Time? On the Complexity of Model Ch… (10.7146/brics.v6i32.20101) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6247 | Wavelet Based 3D Compression for Very Large Volume Data Supp… (10.7146/brics.v6i34.20103) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6248 | On the Steiner Tree 3/2-Approximation for Quasi-Bipartite Gr… (10.7146/brics.v6i39.20108) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6249 | On Plain and Hereditary History-Preserving Bisimulation (10.7146/brics.v6i4.20061) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6250 | The Second Futamura Projection for Type-Directed Partial Eva… (10.7146/brics.v6i40.20109) | References ORCID License | 22.58 | 1 | 1601-5355 |