Full Text Available
Access Full Text at Repository
Search Results - (contract OR construct)
-
On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
Published in Logical Methods in Computer Science (2017)Get full text
Online Article RSS Article -
REBENCH: A Procedural, Fair-by-Construction Benchmark for LLMs on Stripped-Binary Types and Names (Extended Version)
Published in ArXiv cs.CR Recent Papers (2026)Subjects: “…Civil & Construction…”
Get full text
-
The congency of jurisdiction in e-commerce in Nigeria: lessons from EU
Published 2017Subjects: “…E-commerce Contracts…”
ArticleFull Text AvailableAccess Repository -
Design and construction of a low cost air temperature and pressure data logging equipment using raspberry pi
Published 2018ArticleFull Text AvailableAccess Repository -
Effectiveness of Socio-Constructive Collaboration Strategy on Post- Covid Primary School Children’s Learning Outcome in National Values
Published 2024-07-09Subjects: “…Socio-constructive and collaborative strategy…”
ArticleFull Text AvailableAccess Repository