「calculi」の共起表現一覧(1語右で並び替え)
該当件数 : 30件
| are expected to be infinite, such as process | calculi, a computation is said to diverge if it fails |
| about space and time, qualitative constraint | calculi allow for rather inexpensive reasoning about |
| This basic diversity among the various | calculi allows such difference, that the same basic t |
| ic, classical logic, modal logic, and process | calculi, and many benefits are claimed to follow in t |
| Propositional and predicate | calculi are examples of formal systems. |
| This is to be expected as process | calculi are an active field of study. |
| Typed lambda | calculi are foundational programming languages and ar |
| le particular formal system, since many proof | calculi are under-determining and can be used for rad |
| This is valuable because (1) most | calculi are fairly wild in the sense that they are ra |
| le to define a self-interpreter in any of the | calculi cited above. |
| ference, which it was argued is necessary for | calculi combining commutative and noncommutative oper |
| Currently research on process | calculi focuses on the following problems. |
| delli) A Theory of Objects, laying out formal | calculi for the semantics of object-oriented programm |
| ne of the features distinguishing the process | calculi from other models of concurrency, such as Pet |
| Various process | calculi have been studied and not all of them fit the |
| Various typed lambda | calculi have been studied: The types of the simply ty |
| Pertractatio elementorum | calculi integralis (1771) |
| Some typed lambda | calculi introduce a notion of subtyping, i.e. if A is |
| eness of qualitative representation formalism | calculi is a benefit if such reasoning tasks need to |
| e π-calculus belongs to the family of process | calculi, mathematical formalisms for describing and a |
| For example, some of these | calculi may be implemented for handling spatial GIS q |
| Typed lambda | calculi play an important role in the design of type |
| Methodologically, qualitative constraint | calculi restrict the vocabulary of rich mathematical |
| munications constructs found in other process | calculi, such as rendezvous communications, which are |
| As most first-order | calculi, superposition tries to show the unsatisfiabi |
| As for process | calculi, the π-calculus allows for a definition of bi |
| Relational calculus consists of two | calculi, the tuple relational calculus and the domain |
| vations for including channels in the process | calculi was to enable certain algebraic techniques, t |
| eep inference is generally reserved for proof | calculi where the structural complexity is unbounded; |
| Lambda | calculi with dependent types are the base of intuitio |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
