4. Computer Science
  5. Logic in Computer Science
  Search
Selected: P
All A B C D E F G H I J K L M N O
P
Q R S T U V W X Y Z 0 1 2 3 4 5 6 7 8 9 ! " $ ' ( ) * , - / : < = > ? @ [ \ ] ^ ` { | } ~ €

Proviola: A Tool for Proof Re-animation

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Psi-calculi: a framework for mobile processes with nominal data and logic

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

PSPACE Bounds for Rank-1 Modal Logics

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

PSPACE Reasoning for Graded Modal Logics

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Ptarithmetic

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Public Announcement Logic in Geometric Frameworks

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Pure Type Systems without Explicit Contexts

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0
  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.

Canada

 Charities
 Companies
 MP Candidates
 Patents
 Employee Salary Disclosure

World

 Places of the World
 Scientific Papers

United States

 Banks
 Companies
 Counties
 Patents
 Employee Salary Disclosure