网站首页  词典首页

请输入您要查询的英文单词:

 

单词 barbed
释义

Examplesofbarbed

barbed
The cattle of the two herds were separated by abarbedwire fence, and thus direct nose-to-nose contacts were possible.
From theCambridge English Corpus
What follows is a series of definitions leading up to our definition ofbarbedcongruence.
From theCambridge English Corpus
We prove that structurally equivalent processes of the extended -calculus arebarbedcongruent.
From theCambridge English Corpus
Next, we prove thatbarbedcongruence for the extended -calculus satisfies the congruence property.
From theCambridge English Corpus
To remedy this, we extract a congruence relation,barbedcongruence, frombarbedbisimilarity as follows.
From theCambridge English Corpus
The following are basic properties ofbarbedcongruence needed for equational reasoning.
From theCambridge English Corpus
Like other contextually-defined forms of bisimulation,barbedcongruence is sensitive to the set of operators of a calculus.
From theCambridge English Corpus
The resulting notion of bisimilarity is proved to be a congruence and to represent a sound approximation tobarbed(observational) equivalence.
From theCambridge English Corpus
The equivalences considered include typed versions of testing equivalences andbarbedbisimulation equivalences.
From theCambridge English Corpus
The fact that hedges were usually made of hawthorn, a form of organicbarbedwire, takes on an added significance here.
From theCambridge English Corpus
To the right of thebarbedwire is an identical camp.
From theCambridge English Corpus
Antlers were partitioned from red deer and transformed into the frontlets and also intobarbedpoints.
From theCambridge English Corpus
The visual environment was saturated with political slogans and symbols, while boundaries between ethnically polarised communities were materialised by khaki check-posts andbarbedbarricades.
From theCambridge English Corpus
On the other hand, purchased materials, such asbarbedwire, poles, and bamboo, are used in some private plantations.
From theCambridge English Corpus
The following are basic properties ofbarbedcongruence for the untyped calculus.
From theCambridge English Corpus
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
#https://dictionary.cambridge.org//dictionary/english/barbed##
随便看

 

英汉词典包含213609条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间:2024/12/28 0:02:11