-
![]()
43
-
Horn Knowledge Bases in Regular Description Logics with PTime….pdf
- HornKnowledge Bases RegularDescription Logics withPTime Data ComplexityLinh Anh NguyenInstitute Info
-
-
![]()
22
-
behavioural equivalences on finite-state systems are ptime:行为等价的有限状态系统的时间.pdf
- BehaviouralEquivalences ptime-hardZdenˇekSawa PetrJanˇcarCentre AppliedCybernetics,Dept ComputerScie
-
-
![]()
28
-
新编VOIP有效载荷与PTIME的关系.doc
- VIFSize AvailablePacket Time Relationships VIF Size (bits) Voice Coding Algorithm G.726, G.727 G.729
-
-
![]()
30
-
PTIME Queries Revisited.pdf
- PTIMEQueries RevisitedAlan Nash, Mathematics CSEDepartmentsJeff Remmel, Mathematics DepartmentVictor
-
-
![]()
11
-
Horn-TeamLog A Horn Fragment of TeamLog with PTime Data Complexity.pdf
- HornFragment TeamLogwithPTime Data ComplexityBarbara Dunin-K eplicz1, Linh Anh Nguyen1,2, AndrzejSza
-
-
![]()
17
-
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic.pdf
- PtimeReducibility forSystem TermsVia Dual Light Affine LogicVincent Atassi1,, Patrick Baillot2,, Kazus
-
-
![]()
12
-
a logic for ptime and a parameterized halting problem:一种时间和参数停机问题的逻辑.pdf
- parameterizedhalting problemYijia ChenDepartment ComputerScienceShanghai Jiaotong Universityyijia.ch
-
-
![]()
12
-
equation-source format-t-e-x xmlnssearch=httpmarklogic.comappservicessearch({mathcal{CFD}}_{nc})span span A PTIME Description Logic with Functional Constraints a...pdf
- ConjunctiveQuery Answering CFDnc:APTIME Description Logic DisjointnessDavidToman GrantWeddellCherito
-
-
![]()
12
-
On em class=a-plus-pluspem-Optimal Proof Systems and Logics for PTIME.pdf
- On em class=a-plus-pluspem-Optimal Proof Systems and Logics for PTIME
-
-
![]()
15
-
Discreet Games, Light Affine Logic and PTIME Computation.pdf
- Discreet Games, Light Affine Logic and PTIME Computation
-
向豆丁求助：有没有pTime?
