Results 261 to 270 of about 101,154 (305)

The intersection problem for K4 - e designs

open access: yesJournal of Statistical Planning and Inference, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Billington, Elizabeth J.   +2 more
openaire   +6 more sources

The Inhabitation Problem for Non-idempotent Intersection Types

open access: yesLecture Notes in Computer Science, 2014
Part 2: Track B: Logic, Semantics, Specification and VerificationInternational audienceThe inhabitation problem for intersection types is known to be undecidable.
Antonio Bucciarelli   +2 more
exaly   +2 more sources

The intersection problem for 2-(v,5,1) directed block designs

open access: yesDiscrete Mathematics, 2012
The intersection problem for a pair of 2-(v,3,1) directed designs and 2-(v,4,1) directed designs is solved by Fu in 1983 and by Mahmoodian and Soltankhah in 1996, respectively.
Nasrin Soltankhah
exaly   +2 more sources

Home - About - Disclaimer - Privacy