Search Sciweavers | Sciweavers

8228 search results - page 126 / 1646

» Structural Logical Relations

Voted

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

15 years 6 months ago

Download dl.kr.org

Jean-David Roubach, Pascal Yim, Joaquin Rodriguez

claim paper

Read More »

132

click to vote

ISLPED
2007
ACM

142views Hardware» more ISLPED 2007»

Clocking structures and power analysis for nanomagnet-based logic devices

15 years 5 months ago

Download www.nd.edu

Michael T. Niemier, M. Alam, Xiaobo Sharon Hu, Gar...

claim paper

Read More »

105

click to vote

PSB
2003

112views Applied Computing» more PSB 2003»

Towards Discovering Structural Signatures of Protein Folds Based on Logical Hidden Markov Models

15 years 5 months ago

Download helix-web.stanford.edu

Kristian Kersting, Tapani Raiko, Stefan Kramer, Lu...

claim paper

Read More »

101

click to vote

ENTCS
2008

97views more ENTCS 2008»

Structured Types and Separation Logic

15 years 4 months ago

Download www.ertos.nicta.com.au

Harvey Tuch

claim paper

Read More »

click to vote

IJFCS
2008

63views more IJFCS 2008»

A Normal Form for First-Order Logic over Doubly-Linked Data Structures

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers