A formal specification of geometric refinements
Saved in:
| Published in: | The Visual computer Vol. 15; no. 6; pp. 279 - 301 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Heidelberg
Springer Nature B.V
01-01-1999
Springer Verlag |
| Subjects: | |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Author | Cazier, David Dufourd, Jean-François |
|---|---|
| Author_xml | – sequence: 1 givenname: David surname: Cazier fullname: Cazier, David – sequence: 2 givenname: Jean-François surname: Dufourd fullname: Dufourd, Jean-François |
| BackLink | https://hal.science/hal-01208568$$DView record in HAL |
| BookMark | eNpVkM1LAzEQxYNUsFaP3hc8eVibyXeOpagVCl70HLJpoindTU22gv-9KRXB08w8fjzmvUs0GdLgEboBfA8Yy3nBmMq6cQxSnaEpMEpaQoFP0PQotUQqfYEuS9niekump2i-aELKvd01Ze9dDNHZMaahSaF596n3Y46uyT7Ewfd-GMsVOg92V_z175yht8eH1-WqXb88PS8X69YRLcc2aCsCJRw6UMp2jAtgRG-AUkH8hjurOQjJBQPXdeArJgPnknduA94zQWfo7uT7YXdmn2Nv87dJNprVYm2OGgaCFRfqCyp7e2L3OX0efBnNNh3yUN8zRIPUTIGSlWpPlMuplBrpzxawOfZn_vVHfwCv92Fp |
| CitedBy_id | crossref_primary_10_1007_s00371_008_0211_6 crossref_primary_10_1016_S0925_7721_01_00054_2 crossref_primary_10_1016_j_tcs_2014_10_041 |
| ContentType | Journal Article |
| Copyright | Springer-Verlag 1999. Distributed under a Creative Commons Attribution 4.0 International License |
| Copyright_xml | – notice: Springer-Verlag 1999. – notice: Distributed under a Creative Commons Attribution 4.0 International License |
| DBID | AAYXX CITATION 8FE 8FG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- P5Z P62 PQEST PQQKQ PQUKI PRINS 1XC |
| DOI | 10.1007/s003710050178 |
| DatabaseName | CrossRef ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central UK/Ireland Advanced Technologies & Aerospace Database (1962 - current) ProQuest Central Essentials ProQuest Central Technology Collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection (Proquest) (PQ_SDU_P3) ProQuest Computer Science Collection Computer Science Database ProQuest Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Academic ProQuest One Academic UKI Edition ProQuest Central China Hyper Article en Ligne (HAL) |
| DatabaseTitle | CrossRef Advanced Technologies & Aerospace Collection Computer Science Database ProQuest Central Student Technology Collection ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection ProQuest One Academic Eastern Edition SciTech Premium Collection ProQuest One Community College ProQuest Technology Collection ProQuest SciTech Collection ProQuest Central China ProQuest Central Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest Central Korea ProQuest One Academic |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISSN | 1432-2315 1432-8726 |
| EndPage | 301 |
| ExternalDocumentID | oai_HAL_hal_01208568v1 10_1007_s003710050178 |
| GroupedDBID | -4Z -59 -5G -BR -EM -Y2 -~C -~X .86 .DC .VR 06D 0R~ 0VY 123 1N0 1SB 203 29R 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5VS 67Z 6NX 6TJ 78A 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAWCG AAYIU AAYOK AAYQN AAYTO AAYXX AAYZH ABAKF ABBBX ABBXA ABDPE ABDZT ABECU ABFTV ABHLI ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACZOJ ADHHG ADHIR ADIMF ADINQ ADKPE ADQRH ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHBYD AHSBF AHYZX AIAKS AIGIU AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN B-. BA0 BDATZ BENPR BGLVJ BGNMA CCPQU CITATION CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 EBLON EBS EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ6 GQ7 GQ8 GXS HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K7- KDC KOV LAS LLZTM M4Y MA- N2Q N9A NB0 NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM P19 P2P P9O PF0 PT4 PT5 QOK QOS R89 R9I RHV RIG RNI RNS ROL RPX RSV RZK S16 S27 S3B SAP SCJ SCO SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TN5 TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z5O Z7R Z7S Z7X Z7Z Z83 Z86 Z88 Z8M Z8N Z8R Z8T Z8W Z92 ZMTXR ~EX 8FE 8FG AZQEC DWQXO GNUQQ JQ2 P62 PQEST PQQKQ PQUKI PRINS 1XC 2.D 28- 5QI AAEOY AAGNY AAOBN AAUYE ABHQN ABWNU ACIPQ ADKNI AEFIE AFEXP AFFNX AFQWF AHAVH AIIXL BBWZM CAG COF G8K H13 KOW NDZJH R4E S1Z S26 S28 SCLPG T16 |
| ID | FETCH-LOGICAL-c297t-f9a6f3251b188ab4561429d13362ed5ca951675641cbb1e1b17f5575bcd1ee463 |
| ISSN | 0178-2789 |
| IngestDate | Tue Oct 15 15:54:41 EDT 2024 Mon Nov 04 11:47:52 EST 2024 Thu Nov 21 20:34:02 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 6 |
| Language | English |
| License | Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c297t-f9a6f3251b188ab4561429d13362ed5ca951675641cbb1e1b17f5575bcd1ee463 |
| ORCID | 0000-0001-5247-6404 |
| PQID | 2917948187 |
| PQPubID | 2043737 |
| PageCount | 23 |
| ParticipantIDs | hal_primary_oai_HAL_hal_01208568v1 proquest_journals_2917948187 crossref_primary_10_1007_s003710050178 |
| PublicationCentury | 1900 |
| PublicationDate | 1999-01-01 |
| PublicationDateYYYYMMDD | 1999-01-01 |
| PublicationDate_xml | – month: 01 year: 1999 text: 1999-01-01 day: 01 |
| PublicationDecade | 1990 |
| PublicationPlace | Heidelberg |
| PublicationPlace_xml | – name: Heidelberg |
| PublicationTitle | The Visual computer |
| PublicationYear | 1999 |
| Publisher | Springer Nature B.V Springer Verlag |
| Publisher_xml | – name: Springer Nature B.V – name: Springer Verlag |
| SSID | ssj0017749 ssib002602318 |
| Score | 1.5961646 |
| SourceID | hal proquest crossref |
| SourceType | Open Access Repository Aggregation Database |
| StartPage | 279 |
| SubjectTerms | Computer Science Formal specifications Graphics Modeling and Simulation |
| Title | A formal specification of geometric refinements |
| URI | https://www.proquest.com/docview/2917948187 https://hal.science/hal-01208568 |
| Volume | 15 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://sdu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3NS8MwFA9uu-hB_MTplCLiRYLr0rTpcerGBBmCU7yVtE104DZxmwf_et9r-qkgevBSSvpJfuHll5f3fo-QE8E0474bUcXDNsUSV9QPFacukH8RK6m5Qp_u4M4bPoqrntMrqq4Vbf-KNLQB1pg5-we085dCA5wD5nAE1OH4K9y7Jh_x5QxzKDEOKOeET2o2wfpZqNmsgVxOMhmnjJzikHkYz5eJZIgp9lBsUXyMDbilIHikvxr-KTZhMnJKkQYnW-_ebFxyKBgRgopDIXMoYrQ07mHkCS_G_wiLTkyeNdOHsZkO61CgibxiVHlp8FQspOeXJltmPvzNjpvQjXkiKIgSNfDZGmnAswxsWaN_Pby4zfeKgMAmi5zs11Il1SRBsvyCCvOoPWPc65fpN-EUow2yni4GrK5BcZOsqOkWWStJRG6T865l8LQqeFozbeV4WiU8d8h9vze6HNC0yAWNOr63oNqXrmbAMkNbCBkinwWKENsMmIWKeSSBAsOiznXsKAxtBbd5mgPHDqPYVspx2S6pT2dTtUcsaYtQelIw1LRn0vYjL2rrtvSVgodZ1CSnWQcEr0bLJMhVq8s91STH0D35PahAPujeBNiGudaCu-LdbpJW1ntBOv7nQcdHAw8k0Nv_-fIBWS3GXovUF29LdUhq83h5lOL7CZo3TOs |
| link.rule.ids | 230,315,782,786,887,27933,27934 |
| linkProvider | Springer Nature |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+formal+specification+of+geometric+refinements&rft.jtitle=The+Visual+computer&rft.au=Cazier%2C+David&rft.au=Dufourd%2C+Jean-Fran%C3%A7ois&rft.date=1999-01-01&rft.pub=Springer+Nature+B.V&rft.issn=0178-2789&rft.eissn=1432-2315&rft.volume=15&rft.issue=6&rft.spage=279&rft.epage=301&rft_id=info:doi/10.1007%2Fs003710050178 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0178-2789&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0178-2789&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0178-2789&client=summon |