Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Nigam, Vivek - Department of Mathematics, University of Pennsylvania
Incorporating tables into proofs Dale Miller and Vivek Nigam
IPv6 Challenge Reach everything from anywhere
An Operational Semantics for Network Datalog Vivek Nigam1, Limin Jia2, Anduo Wang1, Boon Thau Loo1, Andre Scedrov1
A Dynamic Logic Programming Based System for Agents with Declarative Goals
Adding Knowledge Updates to 3APL Vivek Nigam and Jo~ao Leite
Maintaining Distributed Recursive Views Incrementally Vivek Nigam
Bounded memory Dolev-Yao adversaries in collaborative systems
Specifying proof systems in linear logic with subexponentials
Noname manuscript No. (will be inserted by the editor)
Focusing in linear meta-logic Vivek Nigam and Dale Miller
Using Tables to Construct Non-Redundant Vivek Nigam
Prova: Rule-based Java Scripting for Distributed Web Applications
Vivek Nigam Personal Data
