3044 search results - page 392 / 609 » Linear logical approximations |
154
click to vote
FSTTCS
2007
Springer
16 years 24 days ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
170
click to vote
DEXAW
2006
IEEE
16 years 21 days ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
162
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
182
click to vote
ISCAS
2006
IEEE
16 years 20 days ago
2006
IEEE
— Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synt...
180
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...