Suchergebnisse - "Theory of computation Logic Type theory"

A static verification framework for message passing in Go using behavioural types von Lange, Julien, Ng, Nicholas, Toninho, Bernardo, Yoshida, Nobuko

“… The Go programming language has been heavily adopted in industry as a language that efficiently combines systems programming with concurrency. Go's concurrency …”
Volltext

Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling von Soos, Mate, Meel, Kuldeep S.

“… Given a Boolean formula φ over the set of variables X and a projection set \mathcal{P} \subseteq X, then if \mathcal{I} \subseteq \mathcal{P} is independent …”
Volltext

Natural numbers from integers von Sattler, Christian, Wärn, David

“… In homotopy type theory, a natural number type is freely generated by an element and an endomorphism. Similarly, an integer type is freely generated by an …”
Volltext

Assessing the Type Annotation Burden von Ore, John-Paul, Elbaum, Sebastian, Detweiler, Carrick, Karkazis, Lambros

“… Type annotations provide a link between program variables and domain-specific types. When combined with a type system, these annotations can enable early fault …”
Volltext

Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT von Kraus, Nicolai

“… Using dependent type theory to formalise the syntax of dependent type theory is a very active topic of study and goes under the name of "type theory eating …”
Volltext

Universal Skolem Sets von Luca, Florian, Ouaknine, Joel, Worrell, James

“… It is a longstanding open problem whether there is an algorithm to decide the Skolem Problem for linear recurrence sequences, namely whether a given such …”
Volltext

On the logical structure of choice and bar induction principles von Brede, Nuria, Herbelin, Hugo

“… We develop an approach to choice principles and their contrapositive bar-induction principles as extensionality schemes connecting an "intensional" or …”
Volltext

Higher Lenses von Capriotti, Paolo, Danielsson, Nils Anders, Vezzosi, Andrea

“… We show that total, very well-behaved lenses are not very well-behaved when treated proof-relevantly in the setting of homotopy type theory/univalent …”
Volltext

Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory von Colcombet, Thomas

“… Cost monadic logic extends monadic second-order logic with the ability to measure the cardinality of sets and comes with decision procedures for boundedness …”
Volltext

Iterative Abstraction using SAT-based BMC with Proof Analysis von Gupta, Aarti, Ganai, Malay, Yang, Zijiang, Ashar, Pranav

“… Resolution-based proof analysis techniques have been proposedrecently to identify a sufficient set of reasons for unsatisfiabilityderived by a CNF-based SAT …”
Volltext

Properties of the Second Type of Covering-Based Rough Sets von Zhu, William

“… To deal with the vagueness and granularity in information systems, researchers proposed several methods such as fuzzy theory and rough set theory. This paper …”
Volltext

Huge Data Mining Based on Rough Set Theory and Granular Computing von Hu, Feng, Wang, Guoyin

“… Data mining is a hot research field which has been studied by a lot of scientists and technicians for many years. Unfortunately, it is still a very difficult …”
Volltext

FaSet: A Set Theory Model for Faceted Search von Bonino, Dario, Corno, Fulvio, Farinetti, Laura

“… Faceted classification is a technique originated and refined in the library science field, that recently gained a lot of attention for creating efficient …”
Volltext

Uncertainty Measure of Covering Generated Rough Set von Hu, Jun, Wang, Guoyin, Zhang, Qinghua

“… Uncertainty measure is a key issue of knowledge discovery based on covering approximation space. Information entropy was applied into both classical rough set …”
Volltext

LPSAT: a unified approach to RTL satisfiability von Zeng, Z., Kalla, P., Ciesielski, M.

Volltext

Session details: Information retrieval and data mining

Volltext